Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings(1)
Electronic Notes in Theoretical Computer Science(1)
Science of Computer Programming(1)
SpaceOps 2008 Conference(1)
Automated Derivation of Translators From Annotated Grammars
ArticleAbstract: In this paper we propose a technique to automate the process of building translators between operatiPalabras claves:automatic translation, grammarware, language transformation, language translation, operations languagesAutores:Diego Ordonez-Camacho, Mens K., Van Den Brand M.G.J., Vinju J.Fuentes:scopusAutomated 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:scopusAPPAREIL: A tool for building automated program translators using annotated grammars
Conference ObjectAbstract: Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automatesPalabras claves:Autores:Diego Ordonez-Camacho, Mens K.Fuentes:scopusIssues and problems in test & operations language translation
Conference ObjectAbstract: Satellite operators perform their satellite operations through the use of operations languages, whicPalabras claves:Autores:Cater J., Diego Ordonez-Camacho, Mens K., Quigley D.Fuentes:scopus