Automated generation of program translation and verification tools using annotated grammars

D. Ordóñez Camacho, K. Mens, M.G.J. Brand, van den, J.J. Vinju

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)3-20
JournalScience of Computer Programming
Volume75
Issue number1-2
DOIs
Publication statusPublished - 2010

Fingerprint

DSL
Program translators
Context free grammars
Specification languages
Semantics
Satellites

Cite this

@article{2a5afed38b8a4bc1bd7c3fd226250252,
title = "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.",
author = "{Ord{\'o}{\~n}ez Camacho}, D. and K. Mens and {Brand, van den}, M.G.J. and J.J. Vinju",
year = "2010",
doi = "10.1016/j.scico.2009.10.003",
language = "English",
volume = "75",
pages = "3--20",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "1-2",

}

Automated generation of program translation and verification tools using annotated grammars. / Ordóñez Camacho, D.; Mens, K.; Brand, van den, M.G.J.; Vinju, J.J.

In: Science of Computer Programming, Vol. 75, No. 1-2, 2010, p. 3-20.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Automated generation of program translation and verification tools using annotated grammars

AU - Ordóñez Camacho, D.

AU - Mens, K.

AU - Brand, van den, M.G.J.

AU - Vinju, J.J.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1016/j.scico.2009.10.003

DO - 10.1016/j.scico.2009.10.003

M3 - Article

VL - 75

SP - 3

EP - 20

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - 1-2

ER -