Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00257279
Contributor : Joachim Niehren <>
Submitted on : Friday, August 8, 2008 - 11:08:29 AM
Last modification on : Sunday, October 27, 2019 - 10:16:01 AM
Long-term archiving on: : Saturday, November 26, 2016 - 12:38:15 AM

File

adequacyJuly2008.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00257279, version 4

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. ⟨inria-00257279v4⟩

Share

Metrics

Record views

7

Files downloads

10