BACK TO INDEX

Publications about 'implementation'
Books and proceedings
  1. Thom Frühwirth and Frank Raiser, editors. Constraint Handling Rules: Compilation, Execution, and Analysis. March 2011. ISBN: 978-3-83-911591-6. Keyword(s): implementation, complexity, optimizing compilation, parallelism, priorities. [bibtex-entry]


Thesis
  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]


  2. Peter Van Weert. Extension and Optimising Compilation of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, May 2010. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, Java. [Abstract] [bibtex-entry]


  3. 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. [Abstract] [bibtex-entry]


  4. 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. [Abstract] [bibtex-entry]


  5. Gregory J. Duck. Compilation of Constraint Handling Rules. PhD thesis, University of Melbourne, Australia, December 2005. Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  6. Tom Schrijvers. Analyses, optimizations and extensions of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, June 2005. [WWW] [PDF] [POSTSCRIPT] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


Articles in journal, book chapters
  1. Marco Alberti, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. Fundam. Inform., 124(4):365-381, 2013. [bibtex-entry]


  2. Y.S. Liu, H.J. Zhu, M. Zhu, and Y.Q. Xu. Research and implementation on negative disjunction constraints in FLUX. Jisuanji Yingyong Yanjiu, 27(8):2980-2983, 2010. Keyword(s): FLUX. [bibtex-entry]


  3. Z. Shan, C. Jin-yi, and WAN Jun-peng. QSRM: An Implementation Method for Qualitative Spatial Reasoning with Constraint Handling Rules. Journal of Changshu Institute of Technology, pp 90-94, 2010. [bibtex-entry]


  4. Peter Van Weert. Efficient Lazy Evaluation of Rule-Based Programs. IEEE Transactions on Knowledge and Data Engineering, 22(11):1521-1534, November 2010. [doi:10.1109/TKDE.2009.208] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  5. Leslie De Koninck. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. Theory and Practice of Logic Programming, 9(2):165-212, March 2009. [doi:10.1017/S1471068409003664] Keyword(s): priorities, related formalisms, complexity. [Abstract] [bibtex-entry]


  6. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. Theory and Practice of Logic Programming, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171] [Abstract] [bibtex-entry]


  7. Tom Schrijvers, Bart Demoen, and David S. Warren. TCHR: a framework for tabled CLP. Theory and Practice of Logic Programming, 8(4):491-526, July 2008. [doi:10.1017/S147106840800327X] Keyword(s): implementation. [Abstract] [bibtex-entry]


  8. 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 Lecture Notes in Artificial Intelligence, pages 213-244. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_8] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  9. 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 Lecture Notes in Artificial Intelligence, pages 161-212. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_7] Keyword(s): implementation, Java. [Abstract] [bibtex-entry]


  10. Beata Sarna-Starosta, R. E. Kurt Stirewalt, and Laura K. Dillon. A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. Intl. Journal of Softw. Engin. and Knowl. Engin., 17(2):207-230, 2007. [doi:10.1142/S0218194007003197] Keyword(s): applications, testing. [Abstract] [bibtex-entry]


  11. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano. A CHR-based implementation of known arc-consistency. 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 419-440. Cambridge University Press, July 2005. [doi:10.1017/S147106840500236X] [bibtex-entry]


  12. 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]


  13. Alexander Pretschner, Heiko Lötzbeyer, and Jan Philipps. Model based testing in incremental system development. Journal of Systems and Software, 70(3):315-329, 2004. ISSN: 0164-1212. [doi:10.1016/S0164-1212(03)00076-1] Keyword(s): applications, testing. [Abstract] [bibtex-entry]


  14. Christian Holzbaur and Thom Frühwirth. A Prolog Constraint Handling Rules Compiler and Runtime System.. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 369-388. Taylor & Francis, April 2000. [doi:10.1080/088395100117043] Keyword(s): implementation. [bibtex-entry]


Conference articles
  1. Slim Abdennadher, Ghada Fakhry, and Nada Sharaf. Implementation of the Operational Semantics for CHR with User-defined Rule Priorities. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 1-12, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): implementation, priorities, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]


  2. Ghada Fakhry Slim Abdennadher and Nada Sharaf. Towards The Implementation of Source-to-Source Transformation Tool for CHR Operational Semantics. In Gopal Gupta, editor, LOPSTR '13: 23rd Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2013. [bibtex-entry]


  3. János Csorba, Zsolt Zombori, and Péter Szeredi. Pros and Cons of Using CHR for Type Inference. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 16-31, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): type systems, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]


  4. Amira Zaki, Thom Frühwirth, and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 82-90, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): parallelism, implementation, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]


  5. Marco Alberti, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. In Proc. 26th CILC: 26-esimo Convegno Italiano di Logica Computazionale, August-September 2011. [bibtex-entry]


  6. Henning Christiansen and Amr Hany Saleh. Modeling Dependent Events with CHRiSM for Probabilistic Abduction. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 48-63, September 2011. GUC, Technical report. [PDF] Keyword(s): abduction, probabilistic CHR, CHRiSM, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]


  7. Marcel Dausend and Frank Raiser. Model Transformation using Constraint Handling Rules as a basis for Model Interpretation. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 64-78, September 2011. GUC, Technical report. [PDF] Keyword(s): applications, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]


  8. Armando Gonçalves, Marcos Aurélio Almeida da Silva, Pierre Deransart, and Jacques Robin. Towards a Generic Trace for Rule Based Constraint Reasoning. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 32-47, September 2011. GUC, Technical report. [PDF] Keyword(s): debugging, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]


  9. Thierry Martinez. Angelic CHR. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 19-31, September 2011. GUC, Technical report. [PDF] Keyword(s): semantics, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]


  10. Andrea Triossi. Boosting CHR through Hardware Acceleration. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 1-3, September 2011. GUC, Technical report. Note: Invited talk. [PDF] Keyword(s): implementation, parallelism, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]


  11. Ralf Gerlich. Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, applications, testing, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]


  12. Johannes Langbein, Frank Raiser, and Thom Frühwirth. A State Equivalence and Confluence Checker for CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): confluence, semantics, CHR 2010, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]


  13. Peter Van Weert. Join Ordering for Constraint Handling Rules: Putting Theory into Practice. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, implementation, optimizing compilation, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]


  14. Beata Sarna-Starosta and Tom Schrijvers. Attributed Data for CHR Indexing. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 357-371, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_30] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  15. Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules – Ph.D. thesis summary. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 494-498, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_41] Keyword(s): implementation, optimizing compilation, complexity, computability. [bibtex-entry]


  16. 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. [Abstract] [bibtex-entry]


  17. Henning Christiansen. Prioritized Abduction with CHR. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, 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. [Abstract] [bibtex-entry]


  18. 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]


  19. 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. [Abstract] [bibtex-entry]


  20. 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. [bibtex-entry]


  21. Beata Sarna-Starosta and Tom Schrijvers. Transformation-based Indexing Techniques for Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, 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. [Abstract] [bibtex-entry]


  22. Anders Schack-Nielsen and Carsten Schürmann. The CHR-Celf Connection. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, 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. [Abstract] [bibtex-entry]


  23. Jon Sneyers and Thom Frühwirth. Generalized CHR Machines. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 143-158, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, complexity, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  24. Martin Sulzmann and Duc Hiep Chu. A Rule-Based Specification of Software Transactional Memory. In M. Hanus, editor, LOPSTR '08: 18th Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2008. [WWW] [PDF] Keyword(s): parallelism. [Abstract] [bibtex-entry]


  25. Peter Van Weert. A Tale of Histories. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, 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. [Abstract] [bibtex-entry]


  26. Peter Van Weert. Optimization of CHR Propagation Rules. 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 485-500, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2_42] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]


  27. Ben Krause and Tim Wahls. jmle: A Tool for Executing JML Specifications via Constraint Programming. In Formal Methods: Applications and Technology, volume 4346 of Lecture Notes in Computer Science, pages 293-296, 2007. Springer-Verlag. [doi:10.1007/978-3-540-70952-7_19] [Abstract] [bibtex-entry]


  28. 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]


  29. Frank Raiser and Paolo Tacchella. On Confluence of Non-terminating CHR Programs. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 63-76, September 2007. [PDF] Keyword(s): CHR 2007, confluence, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  30. Beata Sarna-Starosta and C.R. Ramakrishnan. Compiling Constraint Handling Rules for Efficient Tabled Evaluation. In M. Hanus, editor, PADL '07: Proc. 9th Intl. Symp. Practical Aspects of Declarative Languages, volume 4354 of Lecture Notes in Computer Science, pages 170-184, January 2007. Springer-Verlag. [doi:10.1007/978-3-540-69611-7_11] Keyword(s): implementation. [bibtex-entry]


  31. Jon Sneyers, Peter Van Weert, and Tom Schrijvers. Aggregates for Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 91-105, September 2007. [PDF] Keyword(s): CHR 2007, extensions, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  32. 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]


  33. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR∨: An Extended Refined Operational Semantics for CHR∨ Based On Justifications. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 1-15, September 2007. [PDF] Keyword(s): semantics, disjunction, CHR 2007, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  34. Pieter Wuille, Tom Schrijvers, and Bart Demoen. CCHR: the fastest CHR Implementation, in C. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 123-137, September 2007. [WWW] [PDF] Keyword(s): CHR 2007, implementation, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  35. Henning Christiansen. On the Implementation of Global Abduction. In Katsumi Inoue, Ken Satoh, and Francesca Toni, editors, CLIMA '06: 7th Intl. Workshop on Computational Logic in Multi-Agent Systems – Revised, Selected and Invited Papers, volume 4371 of Lecture Notes in Computer Science, pages 226-245, May 2006. Springer-Verlag. Keyword(s): abduction. [bibtex-entry]


  36. Verónica Dahl and Baohua Gu. Semantic Property Grammars for Knowledge Extraction from Biomedical Text. In S. Etalle and M. Truszczynski, editors, ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 442-443, August 2006. Springer-Verlag. Note: Poster Paper. [doi:10.1007/11799573_40] Keyword(s): applications, linguistics. [Abstract] [bibtex-entry]


  37. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. Search strategies in CHR(Prolog). In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 109-124, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, disjunction, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]


  38. 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]


  39. Thom Frühwirth. Deriving Linear-Time Algorithms from Union-Find in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 49-60, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, algorithms, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]


  40. Michael Hanus. Adding Constraint Handling Rules to Curry. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 81-90, February 2006. Keyword(s): implementation. [bibtex-entry]


  41. Martin Kaeser and Marc Meister. Implementation of an F-Logic Kernel in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 33-47, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [PDF] Keyword(s): CHR 2006, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]


  42. 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]


  43. Marc Meister. Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 172-181, February 2006. Keyword(s): algorithms, parallelism. [bibtex-entry]


  44. Marc Meister and Thom Frühwirth. Complexity of the CHR Rational Tree Equation Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 77-91, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, complexity, algorithms, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]


  45. Tom Schrijvers, Neng-Fa Zhou, and Bart Demoen. Translating Constraint Handling Rules into Action Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 141-155, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, implementation, related formalisms, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]


  46. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Memory reuse for CHR. In S. Etalle and M. Truszczynski, editors, ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 72-86, August 2006. Springer-Verlag. [doi:10.1007/11799573_8] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]


  47. Marco Alberti, Federico Chesani, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, pages 111-122, February 2005. [WWW] [bibtex-entry]


  48. Henning Christiansen. Reasoning about passive declarations in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 93-108, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, optimizing compilation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  49. Gregory J. Duck and Tom Schrijvers. Accurate Functional Dependency Analysis for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 109-124, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, implementation, optimizing compilation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  50. Thom Frühwirth. Logical Rules for a Lexicographic Order Constraint Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 79-91, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  51. Luis Menezes, Jairson Vitorino, and Marcos Aurelio. A High Performance CHR∨ Execution Engine. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 35-45, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [PDF] Keyword(s): CHR 2005, implementation, disjunction, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  52. Tom Schrijvers and Thom Frühwirth. Analysing the CHR Implementation of Union-Find. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, pages 135-146, February 2005. [WWW] Keyword(s): algorithms, complexity. [bibtex-entry]


  53. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard and Continuation Optimization for Occurrence Representations of CHR. In M. Gabbrielli and G. Gupta, editors, ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, pages 83-97, October 2005. Springer-Verlag. Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  54. Peter Van Weert, Tom Schrijvers, and Bart Demoen. K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 47-62, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [WWW] [PDF] Keyword(s): CHR 2005, Java, implementation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  55. 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]


  56. 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]


  57. Gerald Penn and Frank Richter. Lexical Resource Semantics: From Theory to Implementation. In Stefan Mueller, editor, Proceedings of the 11th International Conference on Head-Driven Phrase Structure Grammar, pages 423-443, 2004. CSLI Publications. [bibtex-entry]


  58. Tom Schrijvers and Bart Demoen. The K.U.Leuven CHR system: Implementation and application. In Th. Frühwirth and M. Meister, editors, CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, pages 8-12, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, implementation, CHR 2004, CHR 2004. [Abstract] [bibtex-entry]


  59. Tom Schrijvers and David S. Warren. Constraint Handling Rules and tabled execution. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 120-136, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation. [bibtex-entry]


  60. 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]


  61. Tom Schrijvers, David S. Warren, and Bart Demoen. CHR for XSB. In R. Lopes and M. Ferreira, editors, CICLOPS '03: Proc. 3rd Intl. Colloq. on Implementation of Constraint and Logic Programming Systems, University of Porto, Portugal, Department of Computer Science, Technical report DCC-2003-05, pages 7-20, December 2003. Keyword(s): implementation. [bibtex-entry]


  62. Aykut Firat, Stuart Madnick, and Benjamin Grosof. Financial information integration in the presence of equational ontological conflicts. In Proc. 12th Workshop Information Technologies and Systems, 2002. [Abstract] [bibtex-entry]


  63. Armin Wolf. Attributed Variables for Dynamic Constraint Solving. In Proc. 14th Intl. Conf. Applications of Prolog, pages 211-219, October 2001. Prolog Association of Japan. Keyword(s): implementation, extensions. [bibtex-entry]


  64. Christian Holzbaur and Thom Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In G. Nadathur, editor, PPDP '99, volume 1702 of Lecture Notes in Computer Science, pages 117-133, 1999. Springer-Verlag. Keyword(s): implementation. [bibtex-entry]


  65. Stéphane Bressan. Overview of a Prolog implementation of COntext INterchange mediator. In PAP '97: Proc. Fifth Intl. Conf. Pract. Applic. Prolog, London, 1997. Practical Application Company Ltd.. [bibtex-entry]


  66. Ruoyu Chen, Lejian Liao, and Zhi Fang. Contracting of Web Services with Constraint Handling Rules. In Services (SERVICES), 2012 IEEE Eighth World Congress on, pages 211-218, June. [doi:10.1109/SERVICES.2012.36] Keyword(s): applications. [Abstract] [bibtex-entry]


Internal reports
  1. Pierre Deransart and Rafael Oliveira. Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning. Technical report 7165, INRIA, Paris – Rocquenfourt, December 2010. [WWW] Keyword(s): applications. [Abstract] [bibtex-entry]


  2. Peter Van Weert. Optimization of CHR Propagation Rules: Extended report. Technical report CW 519, K.U.Leuven, Department of Computer Science, Leuven, Belgium, August 2008. [WWW] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]


  3. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. The Correspondence Between the Logical Algorithms Language and CHR. Technical report CW 480, K.U.Leuven, Department of Computer Science, Leuven, Belgium, March 2007. [WWW] Keyword(s): related formalisms, priorities. [Abstract] [bibtex-entry]


  4. Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck. Optimized compilation of CHRrp. 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]


  5. Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. Technical report CW 487, K.U.Leuven, Department of Computer Science, Leuven, Belgium, April 2007. [WWW] Keyword(s): termination. [Abstract] [bibtex-entry]


  6. Beata Sarna-Starosta and Tom Schrijvers. Indexing techniques for CHR based on program transformation. Technical report CW 500, K.U.Leuven, Department of Computer Science, Leuven, Belgium, August 2007. [WWW] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]


  7. Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Bart Demoen. Aggregates in CHR. Technical report CW 481, K.U.Leuven, Department of Computer Science, Leuven, Belgium, March 2007. [WWW] Keyword(s): extensions. [Abstract] [bibtex-entry]


  8. Tom Schrijvers and Bart Demoen. Antimonotony-based Delay Avoidance for CHR. Technical report CW 385, K.U.Leuven, Department of Computer Science, Leuven, Belgium, July 2004. [WWW] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]


  9. Thom Frühwirth and Pascal Brisset. High-Level Implementations of Constraint Handling Rules. Technical report ECRC-95-20, European Computer-Industry Research Centre, Munchen, Germany, 1995. [bibtex-entry]


  10. G. Dondosolla. A constraint-based implementation of the GRF. ESPRIT project no. 2409 EQUATOR Report, 1993. [bibtex-entry]


Miscellaneous
  1. Wei-Ngan Chin, Martin Sulzmann, and Meng Wang. A Type-Safe Embedding of Constraint Handling Rules into Haskell. Honors Thesis, School of Computing, National University of Singapore, 2003. Keyword(s): type systems, implementation. [bibtex-entry]


  2. Matthias Schmauss. An Implementation of CHR in Java. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, November 1999. Keyword(s): implementation, Java. [bibtex-entry]



BACK TO INDEX

Disclaimer:

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.

Last modified: Mon Dec 16 13:19:48 2013
This bibliography was compiled by the following authors: Please send BibTEX entries of missing CHR-related publications to Jon Sneyers.

This document was translated from BibTEX by bibtex2html