Semantic languages for developing correct language translations

Article Article scientifique Article Semantic languages for developing correct language translations eng 2018 author Barroca Bruno 702261 author Amaral Vasco author Buchs Didier 22665 417-453 10.1007/s11219-016-9352-4 0963-9314 http://link.springer.com/10.1007/s11219-016-9352-4 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 Dewey 025.063 13 Centre universitaire d'informatique 0D3 32 Département d'informatique 18 false 727 Software Modeling and Verification Software Quality Journal 26 2 0557499e-460c-4a5b-bfb6-60b95e4b6a54 Article (Published version) Restricted 2018Barroca_semantic_languages.pdf 3504300 application/pdf restrictedAccess Centres et instituts / Centre universitaire d'informatique Faculté des sciences / Département d'informatique

Title	Published in	Access level	OA Policy	Year	Views	Downloads

Semantic languages for developing correct language translations	Software Quality Journal			2018	537	0

Archive ouverte UNIGE

Barroca, Bruno