Skip to Main content Skip to Navigation
Journal articles

Observational Program Calculi and the Correctness of Translations

Manfred Schmidt-Schauss 1 David Sabel 1 Joachim Niehren 2 Jan Schwinghammer 3
2 LINKS - Linking Dynamic Data
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Abstract : For the issue of translations between programming languages with observational semantics, this paper clarifies the notions, the relevant questions, and the methods, constructs a general framework, and provides several tools for proving various correctness properties of translations like adequacy and full abstractness, with a special emphasis on observational correctness. We will demonstrate that a wide range of programming languages and programming calculi and their translations can make advantageous use of our framework for focusing the analysis of their correctness.
Document type :
Journal articles
Complete list of metadata

Cited literature [69 references]  Display  Hide  Download

https://hal.inria.fr/hal-00824349
Contributor : Joachim Niehren <>
Submitted on : Tuesday, February 17, 2015 - 12:35:39 PM
Last modification on : Friday, January 8, 2021 - 11:22:05 AM
Long-term archiving on: : Thursday, May 28, 2015 - 3:50:49 PM

File

0.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Manfred Schmidt-Schauss, David Sabel, Joachim Niehren, Jan Schwinghammer. Observational Program Calculi and the Correctness of Translations. Theoretical Computer Science, Elsevier, 2015, 577, pp.98-124. ⟨10.1016/j.tcs.2015.02.027⟩. ⟨hal-00824349⟩

Share

Metrics

Record views

461

Files downloads

373