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

Full text DOI 10.1109/ase.2008.85 dblp

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.

BibTeX

@inproceedings{Camacho-Mens:ASE08,
  author    = {Diego Ord{\'{o}}{\~{n}}ez Camacho and
               Kim Mens},
  title     = {{APPAREIL:} A Tool for Building Automated Program Translators Using Annotated Grammars},
  booktitle = {ASE},
  pages     = {489--490},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
}

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

Abstract

Related papers