Correctness of an STM Haskell implementation

DOI10.1145/2500365.2500585zbMath1323.68154OpenAlexW1997165271MaRDI QIDQ5244798

David Sabel, Manfred Schmidt-Schauss

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: http://publikationen.ub.uni-frankfurt.de/files/27007/frank-50.pdf

zbMATH Keywords

Haskellsemanticsfunctional programmingconcurrent programmingsoftware transactional memory

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (2)

Structural Rewriting in the pi-Calculus. ⋮ Observational program calculi and the correctness of translations

Uses Software

• Haskell

This page was built for publication: Correctness of an STM Haskell implementation