A compositional theory for STM Haskell

  title={A compositional theory for STM Haskell},
  author={Johannes Borgstr{\"o}m and Karthikeyan Bhargavan and Andrew D. Gordon},
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-deterministic tree rewriting algorithm implementing the operational semantics of the ambient calculus. The core of our theory is a uniform model, in the spirit of process calculi, of the run-time state of multi-threaded STM Haskell programs. The model was designed to simplify both local and compositional reasoning about… CONTINUE READING
3 Citations
1 References
Similar Papers


Publications referenced by this paper.

Mobile ambient synchronization

  • Technical Note 1997-013,
  • 1997
Highly Influential
11 Excerpts

Similar Papers

Loading similar papers…