A concurrent constraint handling rules implementation in Haskell with software transactional memory.

Edmund S. L. Lam Martin Sulzmann

Published in: DAMP (2007)

Keyphrases

hardware design
constraint handling rules
functional programming
runtime environment
transactional memory
speculative execution
source code
software development
software systems
distributed systems
computer systems
image processing
programming language
parallel processing
blue gene