Adequacy of compositional translations for observational semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Adequacy of compositional translations for observational semantics

Résumé

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.
Fichier non déposé

Dates et versions

inria-00257279 , version 1 (19-02-2008)
inria-00257279 , version 2 (14-04-2008)
inria-00257279 , version 3 (07-08-2008)
inria-00257279 , version 4 (08-08-2008)
inria-00257279 , version 5 (05-09-2008)
inria-00257279 , version 6 (14-10-2008)
inria-00257279 , version 7 (02-03-2009)

Identifiants

  • HAL Id : inria-00257279 , version 1

Citer

Manfred Schmidt-Schauss, 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. ⟨inria-00257279v1⟩
159 Consultations
230 Téléchargements

Partager

Gmail Facebook X LinkedIn More