Automated generation of program translation and verification tools using annotated grammars

Article

Abstract: Automatically generating program translators from source and target language specifications is a non

Palabras claves:

Annotated grammars, Asf+Sdf, Automated translation, Language families, operations languages, Program translation

Autores:

Diego Ordonez-Camacho, Mens K., Van Den Brand M.G.J., Vinju J.

Fuentes:

scopus