Observational Program Calculi and the Correctness of Translations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2015

Observational Program Calculi and the Correctness of Translations

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.
Fichier principal
Vignette du fichier
0.pdf (1015.07 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00824349 , version 1 (17-02-2015)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More