BACK TO INDEX

Publications of year 2007
Books and proceedings
  1. V. Dahl and I. Niemelä, editors. ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2] [bibtex-entry]


  2. K. Djelloul, G. J. Duck, and M. Sulzmann, editors. CHR '07: Proc. 4th Workshop on Constraint Handling Rules, September 2007. Keyword(s): CHR 2007. [bibtex-entry]


  3. M. Leuschel and A. Podelski, editors. PPDP '07: Proc. 9th Intl. Conf. Princ. Pract. Declarative Programming, July 2007. ACM Press. ISBN: 978-1-59593-769-8. [bibtex-entry]


Articles in journal, book chapters
  1. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience, 8(1):1-13, March 2007. [Abstract] [bibtex-entry]


  2. Mathieu Boespflug. TaiChi:how to check your types with serenity. The Monad.Reader, 9:17-31, November 2007. Keyword(s): type systems. [bibtex-entry]


  3. Jacques Robin, Jairson Vitorino, and Armin Wolf. Constraint Programming Architectures: Review and a New Proposal. J. Universal Computer Science, 13(6):701-720, 2007. [WWW] [Abstract] [bibtex-entry]


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


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


Conference articles
  1. Hariolf Betz. Relating Coloured Petri Nets to Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 33-47, September 2007. [PDF] Keyword(s): CHR 2007, related formalisms, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  2. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules with Disjunction. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 17-31, September 2007. [PDF] Keyword(s): CHR 2007, semantics, linear logic, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  3. Henning Christiansen and Christian Theil Have. From Use Cases to UML Class Diagrams using Logic Grammars and Constraints. In RANLP '07: Proc. Intl. Conf. Recent Adv. Nat. Lang. Processing, pages 128-132, September 2007. Keyword(s): applications, linguistics. [bibtex-entry]


  4. Verónica Dahl and Baohua Gu. A CHRG Analysis of ambiguity in Biological Texts. In CSLP '07: Proc. 4th Intl. Workshop on Constraints and Language Processing, August 2007. Note: Extended Abstract. Keyword(s): linguistics, applications. [bibtex-entry]


  5. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. The Correspondence Between the Logical Algorithms Language and CHR. In V. Dahl and I. Niemelä, editors, ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, pages 209-223, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2_15] Keyword(s): related formalisms. [bibtex-entry]


  6. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. User-definable Rule Priorities for CHR. In M. Leuschel and A. Podelski, editors, PPDP '07: Proc. 9th Intl. Conf. Princ. Pract. Declarative Programming, pages 25-36, July 2007. ACM Press. ISBN: 978-1-59593-769-8. [doi:10.1145/1273920.1273924] Keyword(s): priorities. [bibtex-entry]


  7. Leslie De Koninck and Jon Sneyers. Join Ordering for Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 107-121, September 2007. [PDF] Keyword(s): optimizing compilation, CHR 2007, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  8. Khalil Djelloul, Thi-Bich-Hanh Dao, and Thom Frühwirth. Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. In SAC '07: Proc. 2007 ACM Symp. Applied computing, pages 58-64, 2007. ACM Press. ISBN: 1-59593-480-4. [bibtex-entry]


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


  10. Thom Frühwirth. Description Logic and Rules the CHR Way. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 49-61, September 2007. Note: Extended Abstract. [PDF] Keyword(s): related formalisms, CHR 2007, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  11. Rémy Haemmerlé and François Fages. Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. In RTA '07: Proc. 18th Intl. Conf. Term Rewriting and Applications, volume 4533 of Lecture Notes in Computer Science, June 2007. Springer-Verlag. [doi:10.1007/978-3-540-73449-9_17] Keyword(s): confluence. [Abstract] [bibtex-entry]


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


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


  14. Martin Magnusson and Patrick Doherty. Deductive Planning with Temporal Constraints. In Eyal Amir, Vladimir Lifschitz, and Rob Miller, editors, Logical Formalizations of Commonsense Reasoning: Papers from the 2007 AAAI Spring Symposium, March 2007. AAAI Press. [bibtex-entry]


  15. Julien Martin and François Fages. From Business Rules to Constraint Programs in Warehouse Management Systems. In Doctoral programme of the 13th Intl. Conf. on Princ. and Pract. of Constraint Programming, 2007. Keyword(s): related formalisms. [bibtex-entry]


  16. Marc Meister. Concurrency of the preflow-push algorithm in Constraint Handling Rules. In CSCLP'07: Proc. 12th Intl. Workshop on Constraint Solving and Constraint Logic Programming, pages 160-169, 2007. Keyword(s): algorithms, parallelism. [bibtex-entry]


  17. Marc Meister, Khalil Djelloul, and Jacques Robin. A Unified Semantics for Constraint Handling Rules in Transaction Logic. In C. Baral, G. Brewka, and J. S. Schlipf, editors, LPNMR '07: Proc. 9th Intl. Conf. Logic Programming and Nonmonotonic Reasoning, volume 4483 of Lecture Notes in Computer Science, pages 201-213, May 2007. Springer-Verlag. [doi:10.1007/978-3-540-72200-7_18] Keyword(s): semantics. [bibtex-entry]


  18. Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. In WST '07: 9th Intl. Workshop on Termination, June 2007. Keyword(s): termination. [bibtex-entry]


  19. Frank Raiser. Graph Transformation Systems in CHR. In V. Dahl and I. Niemelä, editors, ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, pages 240-254, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2_17] Keyword(s): Graph Transformation Systems, related formalisms. [bibtex-entry]


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


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


  22. Stephan Schiffel and Michael Thielscher. Fluxplayer: A Successful General Game Player. In AAAI '07: Proc. 22nd AAAI Conf. Artificial Intelligence, pages 1191-1196, July 2007. AAAI Press. Keyword(s): FLUX. [bibtex-entry]


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


  24. Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Bart Demoen. Aggregates in Constraint Handling Rules: Extended Abstract. In V. Dahl and I. Niemelä, editors, ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, pages 446-448, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2_39] Keyword(s): extensions. [bibtex-entry]


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


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


  27. Martin Sulzmann and Meng Wang. Aspect-oriented programming with type classes. In Proceedings of the 6th workshop on Foundations of aspect-oriented languages, FOAL '07, pages 65-74, 2007. ACM. ISBN: 978-1-59593-671-4. [WWW] Keyword(s): type systems. [bibtex-entry]


  28. Paolo Tacchella, Maurizio Gabbrielli, and Maria Chiara Meo. Unfolding in CHR. In M. Leuschel and A. Podelski, editors, PPDP '07: Proc. 9th Intl. Conf. Princ. Pract. Declarative Programming, pages 179-186, July 2007. ACM Press. ISBN: 978-1-59593-769-8. [bibtex-entry]


  29. Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 77-89, September 2007. [PDF] Keyword(s): CHR 2007, termination, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


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


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


Internal reports
  1. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. CHRrp: Constraint Handling Rules with rule priorties. Technical report CW 479, K.U.Leuven, Department of Computer Science, Leuven, Belgium, March 2007. [WWW] Keyword(s): priorities. [Abstract] [bibtex-entry]


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


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


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


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


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


Miscellaneous
  1. Martin Magnusson. Deductive Planning and Composite Actions in Temporal Action Logic. Master's thesis, Department of Computer and Information Science, Linköping University, Sweden, 2007. Note: Thesis No. 1329. [bibtex-entry]


  2. Ersha Rahimikia. Detecting non-termination in Constraint Handling Rules. Master's thesis, Dept. Computing and Software, McMaster University, 2007. Keyword(s): termination, termination. [bibtex-entry]


  3. Gerrit van den Geest. Constraints for Type Class Extensions. Master's thesis, Utrecht University, April 2007. Keyword(s): type systems. [bibtex-entry]


  4. Atze Dijkstra, Gerrit van den Geest, Bastiaan Heeren, and S. Doaitse Swierstra. Modelling Scoped Instances with Constraint Handling Rules. Note: Rejected by ICFP '07, 2007. [Abstract] [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:46 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