Adequacy of compositional translations for observational semantics

Abstract : We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and must-convergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extension.
Type de document :
Communication dans un congrès
5th IFIP International Conference on Theoretical Computer Science, Sep 2008, Milano, Italy. Springer Verlag, 273, pp.521-535, 2008, IFIP
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00257279
Contributeur : Joachim Niehren <>
Soumis le : lundi 2 mars 2009 - 21:42:01
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : samedi 26 novembre 2016 - 06:08:13

Fichier

0.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00257279, version 7

Collections

Citation

Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel. Adequacy of compositional translations for observational semantics. 5th IFIP International Conference on Theoretical Computer Science, Sep 2008, Milano, Italy. Springer Verlag, 273, pp.521-535, 2008, IFIP. 〈inria-00257279v7〉

Partager

Métriques

Consultations de la notice

309

Téléchargements de fichiers

146