Publications

of Peter J. Stuckey

Books and proceedings

  1. P. J. Stuckey, editor. ICLP02l, volume 2401 of LNCS, jul/aug 2002. SV.

Articles in journal, book chapters

  1. Elvira Albert, Marìa 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, ICLP13l, volume 13(4--5) of TPLP, pages 721-735. CUP, August 2013. [PDF]
  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.
  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.
  4. Peter J. Stuckey and Martin Sulzmann. A theory of overloading. TOPLAS, 27(6):1216-1269, 2005. ISSN: 0164-0925. Keyword(s): type systems.
  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. CUP, July 2005. [doi:10.1017/S1471068405002413] Keyword(s): implementation, optimizing compilation.
  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]

Conference articles

  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 LNCS, pages 32-47, April 2008. SV. Keyword(s): priorities, optimizing compilation.
  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, ICLP08l, volume 5366 of LNCS, pages 531-545, December 2008. SV. [doi:10.1007/978-3-540-89982-2] Keyword(s): implementation.
  3. Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In V. Dahl and I. Niemelä, editors, ICLP07l, volume 4670 of LNCS, pages 224-239, September 2007. SV. [doi:10.1007/978-3-540-74610-2_16] Keyword(s): confluence.
  4. Gregory J. Duck, Peter J. Stuckey, and Sebastian Brand. ACD Term Rewriting. In S. Etalle and M. Truszczynski, editors, ICLP06l, volume 4079 of LNCS, pages 117-131, August 2006. SV. [doi:10.1007/11799573_11] Keyword(s): related formalisms.
  5. Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 61-76, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, confluence, CHR 2006, CHR 2006.
  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 ENTCS, pages 93-111, January 2006. Elsevier.
  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 LNCS, pages 1-25, November 2006. SV. Note: Invited talk. ISBN: 3-540-48937-1. Keyword(s): type systems.
  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 LNCS, pages 26-43, November 2006. SV. ISBN: 3-540-48937-1. Keyword(s): type systems.
  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 LNCS, pages 47-64, 2006. SV. [doi:10.1007/11737414_5] Keyword(s): type systems.
  10. Tom Schrijvers, Peter J. Stuckey, and Gregory J. Duck. Abstract interpretation for Constraint Handling Rules. In P. Barahona and A.P. Felty, editors, PPDP05l, pages 218-229, July 2005. ACM. ISBN: 1-59593-090-6. Keyword(s): optimizing compilation.
  11. Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. Constraint Abduction and Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 63-78, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, abduction, CHR 2005, CHR 2005.
  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 LNCS, pages 49-63, mar/apr 2004. SV. Keyword(s): type systems.
  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, ICLP04l, volume 3132 of LNCS, pages 105-119, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation.
  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, ICLP04l, volume 3132 of LNCS, pages 90-104, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): semantics, implementation.
  15. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. The Chameleon System. In Th. Frühwirth and M. Meister, editors, CHR04l, pages 13-32, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, type systems, CHR 2004, CHR 2004.
  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 PPDP03, pages 79-90, 2003. ACM. ISBN: 1-58113-705-2. Keyword(s): implementation.

Internal reports

  1. Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck. Optimized compilation of CHR$^\mathrm{rp}$. Technical report CW 499, KULCW, Leuven, Belgium, August 2007. [WWW] Keyword(s): implementation, optimizing compilation, priorities.

BACK TO INDEX