| Title: |
Observational Program Calculi and the Correctness of Translations |
| Authors: |
Schmidt-Schauss, Manfred; Sabel, David; Niehren, Joachim; Schwinghammer, Jan |
| Contributors: |
Goethe University Frankfurt = Goethe-Universität Frankfurt am Main; Linking Dynamic Data (LINKS); Centre Inria de l'Université de Lille; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL); Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS); Programming Systems Lab Saarland; Universität des Saarlandes Saarbrücken = Saarland University Saarbrücken |
| Source: |
ISSN: 0304-3975. |
| Publisher Information: |
CCSD; Elsevier |
| Publication Year: |
2015 |
| Collection: |
LillOA (HAL Lille Open Archive, Université de Lille) |
| Subject Terms: |
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] |
| Description: |
International audience ; 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: |
article in journal/newspaper |
| Language: |
English |
| DOI: |
10.1016/j.tcs.2015.02.027 |
| Availability: |
https://inria.hal.science/hal-00824349; https://inria.hal.science/hal-00824349v1/document; https://inria.hal.science/hal-00824349v1/file/0.pdf; https://doi.org/10.1016/j.tcs.2015.02.027 |
| Rights: |
https://about.hal.science/hal-authorisation-v1/ ; info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.67C67D3A |
| Database: |
BASE |