Publications

of year 2008

Books and proceedings

  1. Tom Schrijvers and Thom Frühwirth, editors. Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8]
  2. M. Garcìa de la Banda and E. Pontelli, editors. ICLP08l, volume 5366 of LNCS, December 2008. SV. [doi:10.1007/978-3-540-89982-2]
  3. M. Hanus, editor. LOPSTR08prel, 2008. [WWW] [PDF]
  4. A. King, editor. LOPSTR07l, volume 4915 of LNCS, 2008.
  5. T. Schrijvers, F. Raiser, and T. Frühwirth, editors. CHR08l, 2008. RISC Report Series 08-10, University of Linz, Austria. Keyword(s): CHR 2008.

Thesis

  1. Leslie De Koninck. Execution Control for Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): priorities, complexity, related formalisms.
  2. Mark Meister. Advances in Constraint Handling Rules. PhD thesis, Universität Ulm, Germany, 2008.
  3. Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, complexity, computability.
  4. Paolo Tacchella. Constraint Handling Rules --- Compositional Semantics and Program Transformation. PhD thesis, deptcw, University of Bologna, Italy, March 2008. [WWW] [PDF] Keyword(s): semantics.

Articles in journal, book chapters

  1. Bernhard K. Aichernig and He Jifeng. Mutation testing in UTP. Formal Aspects of Computing, 21(1--2):33-64, February 2008. [doi:10.1007/s00165-008-0083-6] Keyword(s): testing.
  2. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. TPLP, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171]
  3. Tom Schrijvers, Bart Demoen, and David S. Warren. TCHR: a framework for tabled CLP. TPLP, 8(4):491-526, July 2008. [doi:10.1017/S147106840800327X] Keyword(s): implementation.
  4. 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.
  5. Hongwei Zhu, Stuart E. Madnick, and Michael D. Siegel. Enabling global price comparison through semantic integration of web data. IJEB, 6(4):319-341, 2008.
  6. Henning Christiansen. Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 85-118. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_5] Keyword(s): abduction, probabilistic CHR.
  7. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. A Flexible Search Framework for CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 16-47. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_2] Keyword(s): disjunction, search.
  8. Thom Frühwirth. Welcome to Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 1-15. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_1] Keyword(s): tutorial.
  9. Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella. A Compositional Semantics for CHR with Propagation Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 119-160. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_6] Keyword(s): semantics.
  10. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Reasoning in the Refined Operational Semantics of CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 213-244. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_8] Keyword(s): implementation, optimizing compilation.
  11. Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Constructing Rule-Based Solvers for Intentionally-Defined Constraints. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 70-84. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_4] Keyword(s): program generation.
  12. Peter Van Weert, Pieter Wuille, Tom Schrijvers, and Bart Demoen. CHR for Imperative Host Languages. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 161-212. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_7] Keyword(s): implementation, Java.
  13. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR$^\vee$: An Extended Refined Operational Semantics for CHR$^\vee$ Based on Justifications. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 48-69. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_3] Keyword(s): disjunction, search, semantics.

Conference articles

  1. Slim Abdennadher and Shehab Fawzy. JCHRIDE: An Integrated Development Environment for JCHR. In Sibylle Schwarz, editor, WLP '08: Proc. 22nd Workshop on (Constraint) Logic Programming, Dresden, Germany, pages 1-6, September 2008. University Halle-Wittenberg, Institute of Computer Science, Technical report 2008/08. Keyword(s): Java.
  2. Slim Abdennadher and Ingi Sobhi. Generation of Rule-based Constraint Solvers: Combined Approach. In A. King, editor, LOPSTR07l, volume 4915 of LNCS, 2008. Keyword(s): program generation.
  3. Marcos Aurélio, François Fages, and Jacques Robin. Default Reasoning in CHR$^\vee$. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 111-126, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, disjunction, CHR 2008, CHR 2008.
  4. Henning Christiansen. Prioritized Abduction with CHR. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 159-173, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, abduction, priorities, probabilistic CHR, CHR 2008, CHR 2008.
  5. 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.
  6. 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.
  7. François Fages, Cleyton Mário de Oliveira Rodrigues, and Thierry Martinez. Modular CHR with phask and phtell. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 95-110, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, CHR 2008, CHR 2008.
  8. Thom Frühwirth. Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. In Recent Advances in Constraints --- CSCLP '07: 12th ERCIM Intl. Workshop on Constraint Solving and Constraint Logic Programming, Revised Selected Papers, pages 91-118, November 2008. [doi:10.1007/978-3-540-89812-2_7] Keyword(s): algorithms.
  9. Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integrating Abduction and Constraint Optimization in Constraint Handling Rules. In ECAI 2008: 18th European Conf. on Artif. Intell., pages 903-904, July 2008. IOS press. [doi:10.3233/978-1-58603-891-5-903] Keyword(s): abduction.
  10. Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phase Semantics. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 67-78, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, linear logic, verification, CHR 2008, CHR 2008.
  11. 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, CHR08l, pages 51-66, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  12. Paolo Pilozzi and Danny De Schreye. Termination Analysis of CHR Revisited. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 501-515, December 2008. SV. [doi:10.1007/978-3-540-89982-2_43] Keyword(s): termination.
  13. Paolo Pilozzi and Danny De Schreye. Termination Analysis of CHR revisited. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 35-50, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, termination, CHR 2008, CHR 2008.
  14. Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. In Peter J. Stuckey, editor, CP08l, volume 5202 of LNCS, pages 588-592, September 2008. SV. [doi:10.1007/978-3-540-85958-1_47] Keyword(s): program generation.
  15. Frank Raiser and Thom Frühwirth. Towards Term Rewriting Systems in Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 19-34, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): related formalisms, CHR 2008, CHR 2008, CHR 2008.
  16. Beata Sarna-Starosta and Tom Schrijvers. An efficient term representation for CHR indexing. In M. Carro and B. Demoen, editors, CICLOPS '08: Proc. 8th Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 172-186, 2008. Keyword(s): implementation, optimizing compilation.
  17. Beata Sarna-Starosta and Tom Schrijvers. Transformation-based Indexing Techniques for Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 3-18, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): implementation, optimizing compilation, CHR 2008, CHR 2008, CHR 2008.
  18. Beata Sarna-Starosta, David Zook, Emir Pasalic, and Molham Aref. Relating Constraint Handling Rules to Datalog. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 127-142, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  19. Anders Schack-Nielsen and Carsten Schürmann. The CHR-Celf Connection. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 1-2, 2008. RISC Report Series 08-10, University of Linz, Austria. Note: Invited Talk. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  20. Tom Schrijvers. Constraint Handling Rules --- A Tutorial for (Prolog) Programmers. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 9-10, December 2008. SV. [doi:10.1007/978-3-540-89982-2_3] Keyword(s): tutorial.
  21. Tom Schrijvers and Martin Sulzmann. Restoring confluence for functional dependencies. In Draft Proc. 9th Symp. Trends in Funct. Programming, Nijmegen, pages 22-36, May 2008. Radbound University. Keyword(s): type systems, confluence.
  22. Tom Schrijvers and Martin Sulzmann. Transactions in Constraint Handling Rules. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 516-530, December 2008. SV. [doi:10.1007/978-3-540-89982-2_44] Keyword(s): parallelism.
  23. Jon Sneyers. Turing-complete Subclasses of CHR. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 759-763, December 2008. SV. [doi:10.1007/978-3-540-89982-2_72] Keyword(s): computability.
  24. Jon Sneyers and Thom Frühwirth. Generalized CHR Machines. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 143-158, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, complexity, CHR 2008, CHR 2008.
  25. Martin Sulzmann and Duc Hiep Chu. A Rule-Based Specification of Software Transactional Memory. In M. Hanus, editor, LOPSTR08prel, 2008. [WWW] [PDF] Keyword(s): parallelism.
  26. Martin Sulzmann and Edmund S.L. Lam. Parallel execution of multi-set constraint rewrite rules. In S. Antoy, editor, PPDP08l, pages 20-31, July 2008. ACM. [doi:10.1145/1389449.1389453] Keyword(s): parallelism.
  27. 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 LNCS, pages 315-330, May 2008. SV. [doi:10.1007/978-3-540-68265-3_20] Keyword(s): parallelism.
  28. Peter Van Weert. A Tale of Histories. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 79-94, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, implementation, optimizing compilation, CHR 2008, CHR 2008.
  29. Peter Van Weert. Optimization of CHR Propagation Rules. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 485-500, December 2008. SV. [doi:10.1007/978-3-540-89982-2_42] Keyword(s): implementation, optimizing compilation.
  30. Peter Van Weert, Jon Sneyers, and Bart Demoen. Aggregates for CHR through Program Transformation. In A. King, editor, LOPSTR07l, volume 4915 of LNCS, pages 59-73, 2008. [doi:10.1007/978-3-540-78769-3_5] Keyword(s): extensions.
  31. Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of CHR. In M. Hanus, editor, LOPSTR08prel, 2008. [WWW] [PDF] Keyword(s): termination.

Internal reports

  1. Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. Ulmer Informatik Berichte 2008-03, Ulm University, Germany, February 2008. [WWW] Keyword(s): program generation.
  2. Peter Van Weert. Compiling Constraint Handling Rules to Java: A Reconstruction. Technical report CW 521, KULCW, Leuven, Belgium, August 2008. [WWW] Keyword(s): Java.
  3. Peter Van Weert. Optimization of CHR Propagation Rules: Extended report. Technical report CW 519, KULCW, Leuven, Belgium, August 2008. [WWW] Keyword(s): implementation, optimizing compilation.
  4. Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of CHR. Technical report CW 506, KULCW, Leuven, Belgium, January 2008. [WWW] Keyword(s): termination.

Miscellaneous

  1. Scientific Software & Systems Ltd.. Company Profile: Solving problems with proven solutions, 2008. [WWW]

BACK TO INDEX