Observational Program Calculi and the Correctness of Translations
| Autor: | Jan Schwinghammer, Joachim Niehren, David Sabel, Manfred Schmidt-Schauíß |
|---|---|
| Přispěvatelé: | Goethe-Universität Frankfurt am Main, Linking Dynamic Data (LINKS), Inria Lille - Nord Europe, 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], Saarland University [Saarbrücken] |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
Correctness
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] General Computer Science Semantics (computer science) Computer science business.industry Programming language 020207 software engineering 0102 computer and information sciences 02 engineering and technology computer.software_genre Semantics 01 natural sciences Theoretical Computer Science Range (mathematics) 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Observational study Artificial intelligence business computer Natural language processing |
| Zdroj: | Theoretical Computer Science Theoretical Computer Science, 2015, 577, pp.98-124. ⟨10.1016/j.tcs.2015.02.027⟩ Theoretical Computer Science, Elsevier, 2015, 577, pp.98-124. ⟨10.1016/j.tcs.2015.02.027⟩ |
| ISSN: | 1879-2294 0304-3975 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect