APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars

Authors
Diego Ordonez Camacho, Kim Mens
Tags
, ,
Title
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
Authors
Diego Ordonez Camacho, Kim Mens
 ASE08DemoTool.pdf Δ   188Kb   19 Oct 2011
Type
In Proceedings
Book title
Proceedings of 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
Pages
489-490
Publisher
IEEE Computer Society Press
Year
2008

Abstract

Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, from a specification of their language grammar annotated with extra information. From these annotated grammars the tool automatically produces a partial translator that covers most of the translation. This translator needs to be augmented manually with specific transformations, to deal with the more complicated cases. To get more confidence on the correctness of the translation, the tool offers a control-flow equivalence verification module.

Tags Tags: , ,


BibTeX Record
  @inproceedings{RELEASeD-2008-677569,
    title = {APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars},
    author = {Diego Ordonez and Kim Mens},
    year = {2008},
    pages =  {489-490},
    booktitle = {Proceedings of 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)},
    publisher = {IEEE Computer Society Press},
  }