Article (Published version) (3.3 MB) - 
Limited access to UNIGEOther version: http://link.springer.com/10.1007/s11219-016-9352-4
Highlights
Scientific Article
unige:105720 
 |
Semantic languages for developing correct language translations |
|
| Authors | ||
| Published in | Software Quality Journal. 2018, vol. 26, no. 2, p. 417-453 | |
| Abstract | The development and validation of language translators (e.g. port programs, language preprocessors, high-level software language compilers, etc.) are time-consuming and error-prone: language engineers need to master both the source and target languages' syntactic constructs; and most importantly their semantics. In this paper, we present an innovative approach for developing and validating such language translators based on two languages: With the first, we specify a language translation using a syntax-to-syntax mapping; and with the second, we define the semantics of both of the source and target languages. After showing how such specifications can be combined to validate and generate language translators automatically, we demonstrate the feasibility of the approach on a particular modelling language translation. | |
| Keywords | Model transformation — Structural operational semantics (SOS) — Language translation — Bisimulation | |
| Identifiers | ||
| Full text |
Article (Published version) (3.3 MB) - Limited access to UNIGE Other version: http://link.springer.com/10.1007/s11219-016-9352-4 |
|
| Structures | ||
| Research group | Software Modeling and Verification | |
| Citation (ISO format) | BARROCA, Bruno, AMARAL, Vasco, BUCHS, Didier. Semantic languages for developing correct language translations. In: Software Quality Journal, 2018, vol. 26, n° 2, p. 417-453. doi: 10.1007/s11219-016-9352-4 https://archive-ouverte.unige.ch/unige:105720 |
359 hits 
0 download 
Contact an author
Update