×
迭戈·奥多涅斯·卡马乔;男人，金;马克·范登·布兰德;尤尔根文居

使用带注释的语法自动生成程序翻译和验证工具。 （英语） 兹比尔1187.68113

科学。计算。程序。 75，编号1-2，3-20（2010）.
摘要：根据源语言和目标语言规范自动生成程序翻译器是一个非常重要的问题。在这篇文章中，我们关注的是在操作语言（一系列用于编程卫星操作过程的DSL）之间自动构建翻译程序的问题。我们利用它们与这些DSL之间的半自动构建转换工具的相似性。我们方法的输入是一组带注释的上下文无关文法。为了进一步简化整个翻译过程，我们还提出了一种通用于所有操作语言的中间表示法。最后，我们讨论了如何用更高级的语义注释来丰富我们的注释文法模型，从而为翻译过程提供一个验证系统。我们使用为此目的而实现的原型工具，通过在一些实际操作语言之间半自动派生翻译器来验证我们的方法。

MSC公司：

68甲15 编程语言理论
2012年第68季度 语法和重写系统

关键词：

带注释的语法;操作语言;语系;程序翻译;自动翻译;Asf+Sdf

软件：

西洋陆军棋;TXL（热膨胀）;ASF+SDF;GDK公司
PDF格式BibTeX公司 XML格式引用
\textit{D.Ordóñez Camacho}等人，科学。计算。程序。75，编号1--2，3--20（2010；Zbl 1187.68113）
全文： 内政部 链接

参考文献：

[1] 阿霍，A.V。；Ullman，J.D.：上下文无关语法的翻译，93-112（1969）·Zbl 1282.68147号
[2] 天文学家。用户控制语言参考手册，2003年。戴姆勒-奔驰航空公司，不来梅。http://www.astrium.eads.net/
[3] Baxter，I.D.：DMS：实用可扩展软件进化的程序转换，48-51（2002）
[4] Bosch，J.：《软件架构的设计和使用：采用和发展产品线方法》（2000年）
[5] 乔德里，G。；卡特·J。；Kizzort，B.：航天器操作语言模型，22（2006）
[6] Cordy，J.R.：TXL-编程语言工具和应用程序的语言，Entcs 110，3-31（2004）
[7] S.Cranefield，M.Purvis，生成本体论特定内容语言，摘自：Agent系统中的本体论研讨会，第五届自治Agent国际会议。，2001
[8] 德梅塞，B。；Valera，S.：Pluto，用户的程序语言是测试和操作，《航空航天数据系统》，307-310（1998）
[9] 欧洲空间标准化合作。测试和操作程序语言，2006年。ECSS-E-70-32A型
[10] J.Hutchins，机器翻译系统和基于计算机的翻译工具的开发和使用，摘自：机器翻译和计算机语言信息处理国际会议，第26-28页，1999年
[11] 整体系统。EPOCH T&C指令和STOL功能参考手册。网址：http://www.integ.com/, 2000
[12] Klint，P。；拉梅尔，R。；Verhoef，C.：面向语法软件的工程学科，ACM软件工程和方法论事务14，第3期，331-380（2005）
[13] Kort，J。；拉梅尔，R。；Verhoef，C.：语法部署工具包，理论计算机科学电子笔记65（2002）
[14] 拉梅尔，R。；Verhoef，C.：破解500语言问题，IEEE软件，78-88（2001）
[15] S.Lasota，弱双相似性和开放映射，收录于：SOFSEM’98：信息学的理论与实践，第381-388页，1998年·Zbl 0936.68070号
[16] 刘易斯，P.M。；Stearns，R.E.：句法定向转导，《ACM杂志》15，第3期，465-488（1968）·Zbl 0164.32102号 ·数字对象标识代码：10.1145/321466.321477
[17] Lopes，A。；Botelho，L.：乔姆斯基：内容语言翻译代理，多代理系统和应用IV，535-538（2005）
[18] I.A.Mason，C.L.Talcott，《通过上下文断言进行程序转换》，载于《逻辑、语言和计算》，第225-254页，1994年
[19] N.Mecredy，A.Armitage，Herschel-planck中央结算系统用户手册，2004年。Terma太空部。http://www.terma.com网站/
[20] D.Ordóñez Camacho，K.Mens，《使用注释文法自动生成程序转换器》，载于：Ingénierie Dirigée par les Modéles，IDM2007，《会议记录》，摘自：Antoine Beungard，Marc Pantel（编辑），法国图卢兹，第7–24页，2007年
[21] D.Ordóñez Camacho，K.Mens，D.Quigley，J.Cater，测试和操作语言翻译中的问题和问题，收录于：2008年空间行动会议论文集
[22] 卡马乔（D.Ordóñez）；Mens，K。；Den Brand，M.Van；Vinju，J.：从注释语法自动派生翻译人员，《理论计算机科学电子笔记》164，第2期，121-137（2006）
[23] L.Petrone，《关于使用基于句法的翻译人员进行符号和代数操作》，载于《第二届ACM符号和代数处理研讨会论文集》，第224–237页，1971年
[24] G.D.Plotkin，操作语义的结构方法。奥胡斯大学DAIMI FN-19技术报告，1981年
[25] Quigley，D。；Cater，S.J.：通过标准化降低卫星测试和操作程序成本，IEEE航空航天会议，10（2006）
[26] 罗尔夫，P.C.：《机器翻译：语言网络（与中间语言相比）》，544-548（1988）
[27] K.Shashidhar，M.Bruynooghe，F.Catthoor，G.Janssens，用于验证阵列密集型源代码上的代数变换的函数等价性检查，在：欧洲的设计、自动化和测试。IEEE，第1310–1315页，2005年
[28] 斯特灵，C.：《共刺激的乐趣》，计算机科学讲义1450、142-151（1998）·Zbl 0942.68075号
[29] 整体系统。STOL程序员参考手册。网址：http://www.integ.com/, 2000. 美国马里兰州拉纳姆Integral Systems Inc
[30] Terekhov，A.A.：自动化语言转换：案例研究，654-658（2001）
[31] Terekhov，A.A。；Verhoef，C.：语言转换的现实，IEEE软件17，第6期，111-124（2000）
[32] Timmermans，L.J。；Zwartbol，T.公司。；Oving，学士。；Casteleijn，A.A.：《从模拟到操作：航天器测试和验证设备的发展》，航空航天数据系统（2001年）
[33] Den Brand，M.Van；Van Deursen，A。；海林，J。；De Jonge，H。；De Jonge，M。；Kuipers，T。；Klint，P。；Moonen，L。；Olivier，P。；谢尔德，J。；文朱，J。；维瑟，E。；Visser，J.：ASF+SDF元环境：基于组件的语言开发环境，Lncs 2027，365-370（2001）·Zbl 0977.68762号
[34] Veerman，N.：面向大规模维护转换的轻量级检查，《计算机编程科学》57，第2期，129-163（2005）·Zbl 1073.68600号 ·doi:10.1016/j.scico.2005.01.01
[35] E.Visser，语言原型的语法定义。1997年阿姆斯特丹大学博士论文·Zbl 0900.68290号
[36] Visser，E.：用stratego/XT进行程序转换：strategoxt-0.9中的规则、策略、工具和系统，计算机科学讲义3016，216-238（2004）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。