Mostrando 2 resultados de: 2
Automated generation of program translation and verification tools using annotated grammars
ArticleAbstract: Automatically generating program translators from source and target language specifications is a nonPalabras claves:Annotated grammars, Asf+Sdf, Automated translation, Language families, operations languages, Program translationAutores:Diego Ordonez-Camacho, Mens K., Van Den Brand M.G.J., Vinju J.Fuentes:scopusTool demonstration track of MODELS'2016
OtherAbstract:Palabras claves:Autores:Clarke P., Juan De Lara, Van Den Brand M.G.J.Fuentes:scopus