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
Contributor : Joachim Niehren Connect in order to contact the contributor
Submitted on : Tuesday, February 17, 2015 - 12:35:39 PM
Last modification on : Wednesday, March 23, 2022 - 3:51:21 PM
Long-term archiving on: : Thursday, May 28, 2015 - 3:50:49 PM


Files produced by the author(s)



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⟩



Record views


Files downloads