Automated Generation of Program Translation and Verification Tools using Annotated Grammars

Authors
Diego Ordonez Camacho, Kim Mens, Mark van den Brand, Jurgen Vinju
Tags
, , , , , ,
Title
Automated Generation of Program Translation and Verification Tools using Annotated Grammars
Authors
Diego Ordonez Camacho, Kim Mens, Mark van den Brand, Jurgen Vinju
 LDTAjournal.pdf Δ   505Kb   04 Oct 2011
Type
Article
Journal
Science of Computer Programming (SCICO)
Volume
75
Number
1-2
Pages
3-20
Publisher
Elsevier North-Holland, Inc.
Year
2010
Note
Special Issue on ETAPS 2006 and 2007 Workshops on Language Descriptions, Tools, and Applications (LDTA 06 and 07)

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.

Tags Tags: , , , , , ,


BibTeX Record
  @article{RELEASeD-2010-328352,
    title = {Automated Generation of Program Translation and Verification Tools using Annotated Grammars},
    author = {Diego {Ordonez Camacho} and Kim Mens and Mark {van den Brand} and Jurgen Vinju},
    year = {2010},
    journal = {Science of Computer Programming (SCICO)},
    volume = {75},
    number = {1-2},
    pages =  {3-20},
    publisher = {Elsevier North-Holland, Inc.},
    note = {Special Issue on ETAPS 2006 and 2007 Workshops on Language Descriptions, Tools, and Applications (LDTA 06 and 07)},
  }