Observational program calculi and the correctness of translations

Motivated by our experience in analyzing properties 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. The presented framework can directly be applied to the observational equivalences derived from the operational semantics of programming calculi, and also to other situations, and thus has a wide range of applications.

Metadaten
Verfasserangaben:	Manfred Schmidt-Schauß ORCiD GND, David Sabel ORCiD GND, Joachim Niehren, Jan Schwinghammer
URN:	urn:nbn:de:hebis:30:3-336073
URL:	http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-52.pdf
Titel des übergeordneten Werkes (Deutsch):	Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 52
Schriftenreihe (Bandnummer):	Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (52)
Verlag:	Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
Verlagsort:	Frankfurt [am Main]
Dokumentart:	Arbeitspapier
Sprache:	Englisch
Datum der Veröffentlichung (online):	24.05.2013
Datum der Erstveröffentlichung:	24.05.2013
Veröffentlichende Institution:	Universitätsbibliothek Johann Christian Senckenberg
Datum der Freischaltung:	24.06.2014
Seitenzahl:	33
Erste Seite:	1
Letzte Seite:	33
HeBIS-PPN:	344382842
Institute:	Informatik und Mathematik / Informatik
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlungen:	Universitätspublikationen
Lizenz (Deutsch):	Deutsches Urheberrecht

Open Access