TY  - UNPD
A1  - Schmidt-Schauß, Manfred
A1  - Sabel, David
T1  - Correctness of an STM Haskell implementation
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ;
N2  - A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given. The description of the small-step operational semantics is precise and explicit, and employs an early abort of conflicting transactions. A proof of correctness of the implementation is given for a contextual semantics with may- and should-convergence. This implies that our implementation is a correct evaluator for an abstract specification equipped with a big-step semantics.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 50 [v.2] 
Y1  - 2013
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/34440
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-344403
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank50v2.pdf
IS  - Version: 27 März 2013
EP  - 20
PB  - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik
CY  - Frankfurt am Main
ER  -