Semantic languages for developing correct language translations
ContributorsBarroca, Bruno; Amaral, Vasco; Buchs, Didier
Published inSoftware Quality Journal, vol. 26, no. 2, p. 417-453
Publication date2018
Abstract
Keywords
- Model transformation
- Structural operational semantics (SOS)
- Language translation
- Bisimulation
Research group
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)
Identifiers
- PID : unige:105720
- DOI : 10.1007/s11219-016-9352-4
Commercial URLhttp://link.springer.com/10.1007/s11219-016-9352-4
ISSN of the journal0963-9314