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 (CRIStAL) - 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.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2015, 577, pp.98-124. 〈10.1016/j.tcs.2015.02.027〉
Liste complète des métadonnées

Littérature citée [69 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00824349
Contributeur : Joachim Niehren <>
Soumis le : mardi 17 février 2015 - 12:35:39
Dernière modification le : mardi 3 juillet 2018 - 11:45:52
Document(s) archivé(s) le : jeudi 28 mai 2015 - 15:50:49

Fichier

0.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

345

Téléchargements de fichiers

159