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

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2007, Pages 19-24

  Lam, Edmund S L ^a   Sulzmann, Martin ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Parallel implementation of concurrent language

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONCURRENT ENGINEERING; CONSTRAINT THEORY; LOGIC PROGRAMMING; PARALLEL PROGRAMMING; PROGRAM COMPILERS;

CONSTRAINT HANDLING RULES (CHR); GLASGOW HASKELL COMPILER (GHC); PARALLEL IMPLEMENTATION OF CONCURRENT LANGUAGE; SOFTWARE TRANSACTIONAL MEMORY;

DATA HANDLING;

EID: 35348894963     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1248648.1248653     Document Type: Conference Paper

References (10)

1. S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Proc. of CP'97, LNCS, pages 252-266. Springer-Verlag, 1997.
2. Common CHR implementations, http://www.cs.kuleuven.ac.be/~dtai/projects/ CHR.
3. G. J. Duck, P. J. Stuckey, M. J. García de la Banda, and C. Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In Proc of ICLP'04, pages 90-104, 2004.
4. G. J. Duck, P. J. Stuckey, and M. Sulzmann. Observable confluence for constraint handling rules. Technical Report CW 452, Katholieke Universteit Leuven, 2006. Proc. of CHR 2006, Third Workshop on Constraint Handling Rules.
5. T. Frühwirth. Constraint handling rules. In Constraint Programming: Basics and Trends, LNCS. Springer-Verlag, 1995.
6. T. Frühwirth. Parallelizing union-find in Constraint Handling Rules using confluence analysis. In Proc. of ICLP '05, volume 3668 of LNCS, pages 113-127. Springer-Verlag, 2005.
7. T. Frühwirth. Constraint handling rules: the story so far. In Proc. of PPDP '06, pages 13-14. ACM Press, 2006.
8. Glasgow haskell compiler home page. http://www.has.kell.org/ghc/.
9. T. Harris, S. Marlow, S. Peyton Jones, and M. Herlihy. Composable memory transactions. In Proc. of PPoPP'05, pages 48-60. ACM Press, 2005.
10. S. Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003.