UNIGE document Scientific Article
previous document  unige:105720  next document
add to browser collection
Title

Semantic languages for developing correct language translations

Authors
Amaral, Vasco
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 transformationStructural operational semantics (SOS)Language translationBisimulation
Identifiers
Full text
Article (Published version) (3.3 MB) - document accessible for UNIGE members only 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. https://archive-ouverte.unige.ch/unige:105720

61 hits

0 download

Update

Deposited on : 2018-06-19

Export document
Format :
Citation style :