Scientific article
English

Semantic languages for developing correct language translations

Published inSoftware Quality Journal, vol. 26, no. 2, p. 417-453
Publication date2018
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
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
Main files (1)
Article (Published version)
accessLevelRestricted
Identifiers
Additional URL for this publicationhttp://link.springer.com/10.1007/s11219-016-9352-4
Journal ISSN0963-9314
509views
0downloads

Technical informations

Creation13/06/2018 16:09:00
First validation13/06/2018 16:09:00
Update time15/03/2023 08:20:52
Status update15/03/2023 08:20:52
Last indexation31/10/2024 10:30:20
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack