TY  - UNPD
A1  - Schmidt-Schauß, Manfred
A1  - Sabel, David
A1  - Niehren, Joachim
A1  - Schwinghammer, Jan
T1  - Observational program calculi and the correctness of translations
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 52
N2  - 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.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 52 
Y1  - 2013
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/33607
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-336073
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-52.pdf
SP  - 1
EP  - 33
PB  - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
CY  - Frankfurt [am Main]
ER  -