1. Edmund Soon Lee Lam. Parallel execution of Constraint Handling Rules – Theory, Implementation and Application. PhD thesis, School of Computing, Department of Computing Science, National University of Singapore, 2011. Keyword(s): parallelism, implementation. [bibtex-entry]

1. Edmund S.L. Lam and Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules. Theory and Practice of Logic Programming, 11:841-879, 2009. [POSTSCRIPT] Keyword(s): parallelism. [Abstract] [bibtex-entry]

1. Edmund S.L. Lam and Martin Sulzmann. Finally, A Comparison Between Constraint Handling Rules and Join-Calculus. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 51-66, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]



2. Martin Sulzmann and Edmund S.L. Lam. Parallel execution of multi-set constraint rewrite rules. In S. Antoy, editor, PPDP '08: Proc. 10th Intl. Conf. Princ. Pract. Declarative Programming, pages 20-31, July 2008. ACM Press. [doi:10.1145/1389449.1389453] Keyword(s): parallelism. [bibtex-entry]



3. Martin Sulzmann, Edmund S.L. Lam, and Peter Van Weert. Actors with Multi-Headed Message Receive Patterns. In D. Lea and G. Zavattaro, editors, COORDINATION '08: Proc. 10th Intl. Conf. Coordination Models and Languages, number 5052 of Lecture Notes in Computer Science, pages 315-330, May 2008. Springer-Verlag. [doi:10.1007/978-3-540-68265-3_20] Keyword(s): parallelism. [Abstract] [bibtex-entry]



4. Edmund S.L. Lam and Martin Sulzmann. A Concurrent Constraint Handling Rules Semantics and its Implementation with Software Transactional Memory. In DAMP '07: Proc. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, January 2007. ACM Press. [WWW] Keyword(s): parallelism. [bibtex-entry]



5. Martin Sulzmann and Edmund S.L. Lam. Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 139-149, September 2007. [PDF] Keyword(s): CHR 2007, parallelism, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



6. Martin Sulzmann and Edmund S.L. Lam. Haskell - Join - Rules. In Olaf Chitil, editor, IFL '07: 19th Intl. Symp. Implementation and Application of Functional Languages, pages 195-210, September 2007. Keyword(s): related formalisms. [bibtex-entry]



7. Edmund S.L. Lam and Martin Sulzmann. Towards Agent Programming in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 17-31, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [PDF] Keyword(s): linear logic, CHR 2006, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

• Peter Van Weert [home, mail]
• Jon Sneyers [home, mail]
• Tom Schrijvers [home, mail]
• Leslie De Koninck

This document was translated from BibT_EX by bibtex2html