Scientific article

Semantic languages for developing correct language translations

Published inSoftware Quality Journal, vol. 26, no. 2, p. 417-453
Publication date2018

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.

  • 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)
ISSN of the journal0963-9314

Technical informations

Creation06/13/2018 4:09:00 PM
First validation06/13/2018 4:09:00 PM
Update time03/15/2023 8:20:52 AM
Status update03/15/2023 8:20:52 AM
Last indexation01/17/2024 3:03:17 AM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack