Automated generation of program translation and verification tools using annotated grammars

Diego Ordonez Camacho; Kim Mens; Mark van den Brand; Jurgen Vinju

首页> 外文期刊>Science of Computer Programming >Automated generation of program translation and verification tools using annotated grammars

【24h】

Automated generation of program translation and verification tools using annotated grammars

机译：使用带注释的语法自动生成程序翻译和验证工具

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Automatically generating program translators from source and target language specifications is a non-trivial problem. In this paper we focus on the problem of automating the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures. We exploit their similarities to semi-automatically build transformation tools between these DSLs. The input to our method is a collection of annotated context-free grammars. To simplify the overall translation process even more, we also propose an intermediate representation common to all operations languages. Finally, we discuss how to enrich our annotated grammars model with more advanced semantic annotations to provide a verification system for the translation process. We validate our approach by semi-automatically deriving translators between some real world operations languages, using the prototype tool which we implemented for that purpose.

机译：根据源语言和目标语言规范自动生成程序翻译器是一个不小的问题。在本文中，我们关注于在操作语言（用于编程卫星操作程序的DSL系列）之间自动构建翻译器的问题。我们利用它们的相似性在这些DSL之间半自动构建转换工具。我们方法的输入是带注释的上下文无关文法的集合。为了进一步简化整个翻译过程，我们还提出了所有操作语言都通用的中间表示形式。最后，我们讨论如何使用更高级的语义注释来丰富我们的注释语法模型，从而为翻译过程提供一个验证系统。我们使用为此目的实现的原型工具，通过在某些实际操作语言之间半自动推导翻译器来验证我们的方法。

著录项

来源
《Science of Computer Programming》 |2010年第2期|3-20|共18页
作者
Diego Ordonez Camacho; Kim Mens; Mark van den Brand; Jurgen Vinju;
展开▼
作者单位

Computing Science Engineering Department, Louvain School of Engineering, Universite catholique de Louvain, Louvain-la-Neuve, Belgium;

Computing Science Engineering Department, Louvain School of Engineering, Universite catholique de Louvain, Louvain-la-Neuve, Belgium;

Department of Mathematics and Computer Science, Technical University Eindhoven, Eindhoven, The Netherlands;

Department of Software Engineering, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
annotated grammars; operations languages; language families; program translation; automated translation; ASF+SDF;

机译：带注释的语法;操作语言;语言族;程序翻译;自动翻译;ASF + SDF;

相似文献

外文文献
中文文献
专利

1. TAPDANCE: An automated tool to identify and annotate transposon insertion CISs and associations between CISs from next generation sequence data [J] . Aaron L Sarver, Jesse Erdman, Tim Starr, BMC Bioinformatics . 2012,第1期

机译：TAPDANCE：一种自动工具，可从下一代序列数据中识别和注释转座子插入CIS以及CIS之间的关联
2. TAPDANCE: An automated tool to identify and annotate transposon insertion CISs and associations between CISs from next generation sequence data [J] . Aaron L Sarver, Jesse Erdman, Tim Starr, BMC Bioinformatics . 2012,第1期

机译：TAPDANCE：一种自动工具，可从下一代序列数据中识别和注释转座子插入CIS以及CIS之间的关联
3. KGEN: A Python Tool for Automated Fortran Kernel Generation and Verification [J] . Youngsung Kim, John Dennis, Christopher Kerr, Procedia Computer Science . 2016,第1期

机译：KGEN：自动Fortran内核生成和验证的Python工具
4. APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars [C] . Diego Ordonez Camacho, Kim Mens IEEE/ACM International Conference on Automated Software Engineering . 2008

机译：Appareil：使用注释语法构建自动化程序翻译的工具
5. Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation. [D] . Nguyen, ThanhVu Huy. 2014

机译：使用不变分析和测试输入生成来自动进行程序验证和修复。
6. TAPDANCE: An automated tool to identify and annotate transposon insertion CISs and associations between CISs from next generation sequence data [O] . Aaron L Sarver, Jesse Erdman, Tim Starr, 2012

机译：TAPDANCE：一种自动工具可从下一代序列数据中识别和注释转座子插入CIS以及CIS之间的关联
7. Automated generation of program translation and verification tools using annotated grammars [O] . Ordóñez Camacho, D, Mens, K, Brand, van den, MGJ Mark, 2010

机译：使用带注释的语法自动生成程序翻译和验证工具

Automated generation of program translation and verification tools using annotated grammars

摘要

著录项

相似文献

相关主题

期刊订阅