en
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
ISSN of the journal0963-9314
425views
0downloads

Technical informations

Creation13/06/2018 16:09:00
First validation13/06/2018 16:09:00
Update time15/03/2023 8:20:52
Status update15/03/2023 8:20:52
Last indexation17/01/2024 3:03:17
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack