1. P. J. Stuckey, editor. ICLP '02: Proc. 18th Intl. Conf. Logic Programming, volume 2401 of Lecture Notes in Computer Science, jul/aug 2002. Springer-Verlag. [bibtex-entry]

1. Elvira Albert, Maria J. Garcìa de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, and Peter J. Stuckey. A CLP heap solver for test case generation. In Evelina Lamma and Terrance Swift, editors, ICLP '13: Proc. 29th Intl. Conf. Logic Programming, volume 13(4–5) of Theory and Practice of Logic Programming, pages 721-735. Cambridge University Press, August 2013. [PDF] [bibtex-entry]



2. Martin Sulzmann and Peter J. Stuckey. HM(X) Type Inference is CLP(X) Solving. Journal of Functional Programming, 18(2):251-283, 2008. [doi:10.1017/S0956796807006569] Keyword(s): type systems. [Abstract] [bibtex-entry]



3. Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, and Peter J. Stuckey. Understanding functional dependencies via Constraint Handling Rules. J. Functional Prog., 17(1):83-129, 2007. [doi:10.1017/S0956796806006137] Keyword(s): type systems. [bibtex-entry]



4. Peter J. Stuckey and Martin Sulzmann. A theory of overloading. ACM Trans. Program. Lang. Syst., 27(6):1216-1269, 2005. ISSN: 0164-0925. Keyword(s): type systems. [bibtex-entry]



5. Christian Holzbaur, Marìa Garcìa de la Banda, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming, pages 503-531. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002413] Keyword(s): implementation, optimizing compilation. [bibtex-entry]



6. Steve Barker and Peter J. Stuckey. Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur., 6(4):501-546, 2003. ISSN: 1094-9224. [doi:10.1145/950191.950194] [bibtex-entry]

1. Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of CHR with rule priorities. In J. Garrigue and M. Hermenegildo, editors, Proc. 9th Intl. Symp. Functional and Logic Programming, volume 4989 of Lecture Notes in Computer Science, pages 32-47, April 2008. Springer-Verlag. Keyword(s): priorities, optimizing compilation. [bibtex-entry]



2. Gregory J. Duck, Leslie De Koninck, and Peter J. Stuckey. Cadmium: An Implementation of ACD Term Rewriting. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, pages 531-545, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2] Keyword(s): implementation. [bibtex-entry]



3. Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In V. Dahl and I. Niemelä, editors, ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, pages 224-239, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2_16] Keyword(s): confluence. [bibtex-entry]



4. Gregory J. Duck, Peter J. Stuckey, and Sebastian Brand. ACD Term Rewriting. In S. Etalle and M. Truszczynski, editors, ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 117-131, August 2006. Springer-Verlag. [doi:10.1007/11799573_11] Keyword(s): related formalisms. [Abstract] [bibtex-entry]



5. Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 61-76, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, confluence, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



6. Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, and Thom Frühwirth. Automatic implication checking for CHR constraints. In RULE '05: 6th Intl. Workshop on Rule-Based Programming, volume 147(1) of Electronic Notes in Theoretical Computer Science, pages 93-111, January 2006. Elsevier. [bibtex-entry]



7. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. Type Processing by Constraint Reasoning. In N. Kobayashi, editor, APLAS '06: Proc. 4th Asian Symp. on Programming Languages and Systems, volume 4279 of Lecture Notes in Computer Science, pages 1-25, November 2006. Springer-Verlag. Note: Invited talk. ISBN: 3-540-48937-1. Keyword(s): type systems. [bibtex-entry]



8. Martin Sulzmann, Tom Schrijvers, and Peter J. Stuckey. Principal Type Inference for GHC-Style Multi-parameter Type Classes. In N. Kobayashi, editor, APLAS '06: Proc. 4th Asian Symp. on Programming Languages and Systems, volume 4279 of Lecture Notes in Computer Science, pages 26-43, November 2006. Springer-Verlag. ISBN: 3-540-48937-1. Keyword(s): type systems. [bibtex-entry]



9. Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. A Framework for Extended Algebraic Data Types. In FLOPS '06: Proc. 8th Intl. Symp. Functional and Logic Programming, volume 3945 of Lecture Notes in Computer Science, pages 47-64, 2006. Springer-Verlag. [doi:10.1007/11737414_5] Keyword(s): type systems. [bibtex-entry]



10. Tom Schrijvers, Peter J. Stuckey, and Gregory J. Duck. Abstract interpretation for Constraint Handling Rules. In P. Barahona and A.P. Felty, editors, PPDP '05: Proc. 7th Intl. Conf. Princ. Pract. Declarative Programming, pages 218-229, July 2005. ACM Press. ISBN: 1-59593-090-6. Keyword(s): optimizing compilation. [bibtex-entry]



11. Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. Constraint Abduction and Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 63-78, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, abduction, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]



12. Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, and Martin Sulzmann. Sound and Decidable Type Inference for Functional Dependencies. In D. A. Schmidt, editor, ESOP '04: Proc. 13th European Symp. on Programming, volume 2986 of Lecture Notes in Computer Science, pages 49-63, mar/apr 2004. Springer-Verlag. Keyword(s): type systems. [bibtex-entry]



13. Gregory J. Duck, Peter J. Stuckey, and Marìa Garcìa de la Banda. Compiling Ask Constraints. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 105-119, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation. [bibtex-entry]



14. Gregory J. Duck, Peter J. Stuckey, Marìa Garcìa de la Banda, and Christian Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 90-104, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): semantics, implementation. [bibtex-entry]



15. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. The Chameleon System. In Th. Frühwirth and M. Meister, editors, CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, pages 13-32, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, type systems, CHR 2004, CHR 2004. [Abstract] [bibtex-entry]



16. Gregory J. Duck, Peter J. Stuckey, Marìa Garcìa de la Banda, and Christian Holzbaur. Extending arbitrary solvers with Constraint Handling Rules. In PPDP '03, pages 79-90, 2003. ACM Press. ISBN: 1-58113-705-2. Keyword(s): implementation. [bibtex-entry]

1. Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck. Optimized compilation of CHR^rp. Technical report CW 499, K.U.Leuven, Department of Computer Science, Leuven, Belgium, August 2007. [WWW] Keyword(s): implementation, optimizing compilation, priorities. [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