TY  - UNPD
A1  - Niehren, Joachim
A1  - Sabel, David
A1  - Schmidt-Schauß, Manfred
A1  - Schwinghammer, Jan
T1  - Program equivalence for a concurrent lambda calculus with futures
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 26
N2  - Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the programming language Alice ML. We show that natural program optimizations, as well as partial evaluation with respect to deterministic rules, are correct for Lambda(fut). This relies on a number of fundamental properties that we establish for our observational semantics.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 26 
KW  - Lambda-Kalkül
KW  - ML <Programmiersprache>
KW  - Operationale Semantik
KW  - Nebenläufigkeit
KW  - Lambda Calculus
KW  - Alice ML
KW  - Futures
KW  - Operational Semantics
KW  - Contextual Equivalence
Y1  - 2006
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/2181
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30-32230
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-26.pdf
SP  - 1
EP  - 28
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  -