APPAREIL: a tool for building automated program translators using annotated grammars

Ordonez Camacho, Diego;Mens, Kim
(2008) 2008 23rd IEEE/ACM International Conference on Automated Software Engineering — Location: L’Aquila, Italy (15.September.2008)

Files

ASE08DemoTool.pdf
  • Open Access
  • Adobe PDF
  • 187.8 KB
Download

Details

Authors
  • Ordonez Camacho, DiegoUCLouvain
    Author
  • Mens, Kimorcid-logoUCLouvain
    Author
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.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Ordonez Camacho, D., & Mens, K. (2008). APPAREIL: a tool for building automated program translators using annotated grammars. 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, p. 489-490. https://doi.org/10.1109/ASE.2008.85