Skip to Main content Skip to Navigation
Journal articles

Automated generation of program translation and verification tools using annotated grammars

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00535869
Contributor : Jurgen Vinju Connect in order to contact the contributor
Submitted on : Saturday, November 13, 2010 - 4:16:48 PM
Last modification on : Thursday, January 20, 2022 - 5:28:30 PM

Links full text

Identifiers

Collections

Citation

Diego Ordonez, Kim Mens, Mark van den Brand, Jurgen Vinju. Automated generation of program translation and verification tools using annotated grammars. Science of Computer Programming, Elsevier, 2010, 75 (1-2), pp.3-20. ⟨10.1016/j.scico.2009.10.003⟩. ⟨inria-00535869⟩

Share

Metrics

Record views

34