Journal of the ACM (JACM)
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
DMS: program transformations for practical scalable software evolution
Proceedings of the International Workshop on Principles of Software Evolution
The Realities of Language Conversions
IEEE Software
Cracking the 500-Language Problem
IEEE Software
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Translations on a context free grammar
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
On the use of syntax-based translators for symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Automating Language Conversion: A Case Study
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Machine translation: the languages network, (versus the intermediate language.)
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards lightweight checks for mass maintenance transformations
Science of Computer Programming
TXL - A Language for Programming Language Tools and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Chomsky: a content language translation agent
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Hi-index | 0.00 |
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.