publications:
- title: "CHR for Imperative Host Languages"
  author:
  - name: "Peter Van Weert"
    link: "https://researchr.org/alias/peter-van-weert"
  - name: "Pieter Wuille"
    link: "https://researchr.org/alias/pieter-wuille"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-92243-8_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-92243-8_7"
  researchr: "https://researchr.org/publication/WeertWSD08"
  cites: 0
  citedby: 0
  pages: "161-212"
  booktitle: "Constraint Handling Rules, Current Research Topics"
  editor:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Thom W. Frühwirth"
    link: "https://researchr.org/alias/thom-w.-fr%C3%A3%C2%BChwirth"
  volume: "5388"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-92242-1"
  kind: "incollection"
  key: "WeertWSD08"
- title: "The Correspondence Between the Logical Algorithms Language and CHR"
  author:
  - name: "Leslie De Koninck"
    link: "https://researchr.org/alias/leslie-de-koninck"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74610-2_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74610-2_15"
  researchr: "https://researchr.org/publication/KoninckSD07%3A0"
  cites: 0
  citedby: 0
  pages: "209-223"
  booktitle: "Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings"
  editor:
  - name: "Verónica Dahl"
    link: "https://researchr.org/alias/ver%C3%B3nica-dahl"
  - name: "Ilkka Niemelä"
    link: "https://researchr.org/alias/ilkka-niemel%C3%A4"
  volume: "4670"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74608-9"
  kind: "inproceedings"
  key: "KoninckSD07:0"
- title: "Trailing Analysis for HAL"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Maria J. García de la Banda"
    link: "https://researchr.org/alias/maria-j.-garc%C3%ADa-de-la-banda"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2401/24010038.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2401/24010038.htm"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/SchrijversBD02"
  cites: 0
  citedby: 0
  pages: "38-53"
  booktitle: "Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings"
  editor:
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  volume: "2401"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43930-7"
  kind: "inproceedings"
  key: "SchrijversBD02"
- title: "Combining an improvement to PARMA trailing with trailing analysis"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/571157.571167"
  links:
    doi: "http://doi.acm.org/10.1145/571157.571167"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/SchrijversD02"
  cites: 0
  citedby: 0
  pages: "88-98"
  booktitle: "Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)"
  publisher: "ACM"
  kind: "inproceedings"
  key: "SchrijversD02"
- title: "JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=475"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=475"
  tags:
  - "Prolog"
  - "Java"
  researchr: "https://researchr.org/publication/Schrijvers04"
  cites: 0
  citedby: 0
  pages: "475-476"
  booktitle: "Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings"
  editor:
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  - name: "Vladimir Lifschitz"
    link: "https://researchr.org/alias/vladimir-lifschitz"
  volume: "3132"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22671-0"
  kind: "inproceedings"
  key: "Schrijvers04"
- title: "Analysing the CHR Implementation of Union-Find"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Thom W. Frühwirth"
    link: "https://researchr.org/alias/thom-w.-fr%C3%BChwirth"
  year: "2005"
  researchr: "https://researchr.org/publication/SchrijversF05"
  cites: 0
  citedby: 0
  pages: "135-146"
  booktitle: "19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005"
  editor:
  - name: "Armin Wolf"
    link: "https://researchr.org/alias/armin-wolf"
  - name: "Thom W. Frühwirth"
    link: "https://researchr.org/alias/thom-w.-fr%C3%BChwirth"
  - name: "Marc Meister"
    link: "https://researchr.org/alias/marc-meister"
  volume: "2005-01"
  series: "Ulmer Informatik-Berichte"
  publisher: "Universität Ulm, Germany"
  kind: "inproceedings"
  key: "SchrijversF05"
- title: "Understanding idiomatic traversals backwards and forwards"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Stefan Mehner"
    link: "http://wob.iai.uni-bonn.de/Wob/en/view/class217_id1467.html"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2503778.2503781"
  abstract: "We present new ways of reasoning about a particular class of effectful Haskell programs, namely those expressed as idiomatic traversals. Starting out with a specific problem about labelling and unlabelling binary trees, we extract a general inversion law, applicable to any monad, relating a traversal over the elements of an arbitrary traversable type to a traversal that goes in the opposite direction. This law can be invoked to show that, in a suitable sense, unlabelling is the inverse of labelling. The inversion law, as well as a number of other properties of idiomatic traversals, is a corollary of a more general theorem characterising traversable functors as finitary containers: an arbitrary traversable object can be decomposed uniquely into shape and contents, and traversal be understood in terms of those. Proof of the theorem involves the properties of traversal in a special idiom related to the free applicative functor."
  links:
    doi: "http://doi.acm.org/10.1145/2503778.2503781"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/BirdGMVS13"
  researchr: "https://researchr.org/publication/BirdGMVS13"
  cites: 0
  citedby: 0
  pages: "25-36"
  booktitle: "Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013"
  editor:
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  publisher: "ACM"
  isbn: "978-1-4503-2383-3"
  kind: "inproceedings"
  key: "BirdGMVS13"
- title: "Improving Prolog Programs: Refactoring for Prolog"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=58"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=58"
  tags:
  - "Prolog"
  - "refactoring"
  researchr: "https://researchr.org/publication/SchrijversS04"
  cites: 0
  citedby: 0
  pages: "58-72"
  booktitle: "Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings"
  editor:
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  - name: "Vladimir Lifschitz"
    link: "https://researchr.org/alias/vladimir-lifschitz"
  volume: "3132"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22671-0"
  kind: "inproceedings"
  key: "SchrijversS04"
- title: "OutsideIn(X) Modular type inference with local assumptions"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "http://"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  year: "2011"
  abstract: " Advanced type system features, such as GADTs, type classes and type families, have proven to be invaluable language extensions for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference when they are used as local type assumptions. Local type assumptions often result in the lack of principal types and cast the generalisation of local let-bindings prohibitively difficult to implement and specify. User-declared axioms only make this situation worse. In this paper, we explain the problems and – perhaps controversially – argue for abandoning local let-binding generalisation. We give empirical results that local let generalisation is only sporadically used by Haskell programmers. Moving on, we present a novel constraint-based type inference approach for local type assumptions. Our system, called OutsideIn(X), is parameterised over the particular underlying constraint domain X, in the same way as HM(X). This stratification allows us to use a common metatheory and inference algorithm. OutsideIn(X) extends the constraints of X by introducing implication constraints on top. We describe the strategy for solving these implication constraints, which, in turn, relies on a constraint solver for X. We characterise the properties of the constraint solver for X so that the resulting algorithm only accepts programs with principal types, even when the type system specification accepts programs that do not enjoy principal types. Going beyond the general framework, we give a particular constraint solver for X = type classes + GADTs + type families, a non-trivial challenge in its own right. This constraint solver has been implemented and distributed as part of GHC 7."
  tags:
  - "empirical"
  - "programming languages"
  - "type inference"
  - "rule-based"
  - "data-flow language"
  - "constraints"
  - "Haskell"
  - "type system"
  - "data-flow programming"
  - "data-flow"
  - "metatheory"
  - "systematic-approach"
  - "local type inference"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/VytiniotisJSS11"
  cites: 0
  citedby: 0
  journal: "J. Funct. Program."
  volume: "21"
  number: "4-5"
  pages: "333-412"
  kind: "article"
  key: "VytiniotisJSS11"
- title: "Automatic Implication Checking for CHR Constraints"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  - name: "Gregory J. Duck"
    link: "https://researchr.org/alias/gregory-j.-duck"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  - name: "Thom W. Frühwirth"
    link: "https://researchr.org/alias/thom-w.-fr%C3%BChwirth"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.06.039"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.06.039"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/SchrijversDDSF06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "147"
  number: "1"
  pages: "93-111"
  kind: "article"
  key: "SchrijversDDSF06"
- title: "Uniting the Prolog Community"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_2"
  tags:
  - "Prolog"
  researchr: "https://researchr.org/publication/SchrijversD08"
  cites: 0
  citedby: 0
  pages: "7-8"
  booktitle: "Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings"
  editor:
  - name: "Maria Garcia de la Banda"
    link: "https://researchr.org/alias/maria-garcia-de-la-banda"
  - name: "Enrico Pontelli"
    link: "https://researchr.org/alias/enrico-pontelli"
  volume: "5366"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89981-5"
  kind: "inproceedings"
  key: "SchrijversD08"
- title: "Aggregates in Constraint Handling Rules"
  author:
  - name: "Jon Sneyers"
    link: "https://researchr.org/alias/jon-sneyers"
  - name: "Peter Van Weert"
    link: "https://researchr.org/alias/peter-van-weert"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74610-2_39"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74610-2_39"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/SneyersWSD07"
  cites: 0
  citedby: 0
  pages: "446-448"
  booktitle: "Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings"
  editor:
  - name: "Verónica Dahl"
    link: "https://researchr.org/alias/ver%C3%B3nica-dahl"
  - name: "Ilkka Niemelä"
    link: "https://researchr.org/alias/ilkka-niemel%C3%A4"
  volume: "4670"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74608-9"
  kind: "inproceedings"
  key: "SneyersWSD07"
- title: "Polymorphic algebraic data type reconstruction"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Maurice Bruynooghe"
    link: "https://researchr.org/alias/maurice-bruynooghe"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1140335.1140347"
  links:
    doi: "http://doi.acm.org/10.1145/1140335.1140347"
  tags:
  - "data-flow"
  - " algebra"
  researchr: "https://researchr.org/publication/SchrijversB06"
  cites: 0
  citedby: 0
  pages: "85-96"
  booktitle: "Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy"
  editor:
  - name: "Annalisa Bossi"
    link: "https://researchr.org/alias/annalisa-bossi"
  - name: "Michael J. Maher"
    link: "https://researchr.org/alias/michael-j.-maher"
  publisher: "ACM"
  isbn: "1-59593-388-3"
  kind: "inproceedings"
  key: "SchrijversB06"
- title: "Complete and decidable type inference for GADTs"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596599"
  links:
    doi: "http://doi.acm.org/10.1145/1596550.1596599"
  tags:
  - "type inference"
  - "completeness"
  researchr: "https://researchr.org/publication/SchrijversJSV09"
  cites: 0
  citedby: 0
  pages: "341-352"
  booktitle: "Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009"
  editor:
  - name: "Graham Hutton"
    link: "https://researchr.org/alias/graham-hutton"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  publisher: "ACM"
  isbn: "978-1-60558-332-7"
  kind: "inproceedings"
  key: "SchrijversJSV09"
- title: "Towards Typed Prolog"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Vítor Santos Costa"
    link: "https://researchr.org/alias/v%C3%ADtor-santos-costa"
  - name: "Jan Wielemaker"
    link: "https://researchr.org/alias/jan-wielemaker"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_59"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_59"
  tags:
  - "Prolog"
  researchr: "https://researchr.org/publication/SchrijversCWD08"
  cites: 0
  citedby: 0
  pages: "693-697"
  booktitle: "Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings"
  editor:
  - name: "Maria Garcia de la Banda"
    link: "https://researchr.org/alias/maria-garcia-de-la-banda"
  - name: "Enrico Pontelli"
    link: "https://researchr.org/alias/enrico-pontelli"
  volume: "5366"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89981-5"
  kind: "inproceedings"
  key: "SchrijversCWD08"
- title: "Constraint Handling Rules"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_3"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/Schrijvers08"
  cites: 0
  citedby: 0
  pages: "9-10"
  booktitle: "Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings"
  editor:
  - name: "Maria Garcia de la Banda"
    link: "https://researchr.org/alias/maria-garcia-de-la-banda"
  - name: "Enrico Pontelli"
    link: "https://researchr.org/alias/enrico-pontelli"
  volume: "5366"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89981-5"
  kind: "inproceedings"
  key: "Schrijvers08"
- title: "Type checking with open type functions"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411204.1411215"
  links:
    doi: "http://doi.acm.org/10.1145/1411204.1411215"
  tags:
  - "open function types"
  - "source-to-source"
  - "type checking"
  - "open-source"
  researchr: "https://researchr.org/publication/SchrijversJCS08"
  cites: 0
  citedby: 0
  pages: "51-62"
  booktitle: "Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008"
  editor:
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  publisher: "ACM"
  isbn: "978-1-59593-919-7"
  kind: "inproceedings"
  key: "SchrijversJCS08"
- title: "Strictness Meets Data Flow"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Alan Mycroft"
    link: "https://researchr.org/alias/alan-mycroft"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15769-1_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15769-1_27"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sas/SchrijversM10"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/SchrijversM10"
  cites: 0
  citedby: 0
  pages: "439-454"
  booktitle: "Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings"
  editor:
  - name: "Radhia Cousot"
    link: "https://researchr.org/alias/radhia-cousot"
  - name: "Matthieu Martel"
    link: "https://researchr.org/alias/matthieu-martel"
  volume: "6337"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15768-4"
  kind: "inproceedings"
  key: "SchrijversM10"
- title: "A Transformational Approach for Proving Properties of the CHR Constraint Store"
  author:
  - name: "Paolo Pilozzi"
    link: "https://researchr.org/alias/paolo-pilozzi"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Maurice Bruynooghe"
    link: "https://researchr.org/alias/maurice-bruynooghe"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12592-8_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12592-8_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/PilozziSB09"
  tags:
  - "constraints"
  - "systematic-approach"
  - "transformation"
  researchr: "https://researchr.org/publication/PilozziSB09"
  cites: 0
  citedby: 0
  pages: "22-36"
  booktitle: "Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers"
  editor:
  - name: "Danny De Schreye"
    link: "https://researchr.org/alias/danny-de-schreye"
  volume: "6037"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12591-1"
  kind: "inproceedings"
  key: "PilozziSB09"
- title: "Let should not be generalized"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1708016.1708023"
  links:
    doi: "http://doi.acm.org/10.1145/1708016.1708023"
  researchr: "https://researchr.org/publication/VytiniotisJS10"
  cites: 0
  citedby: 0
  pages: "39-50"
  booktitle: "Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010"
  editor:
  - name: "Andrew Kennedy"
    link: "https://researchr.org/alias/andrew-kennedy"
  - name: "Nick Benton"
    link: "https://researchr.org/alias/nick-benton"
  publisher: "ACM"
  isbn: "978-1-60558-891-9"
  kind: "inproceedings"
  key: "VytiniotisJS10"
- title: "Abstract interpretation for constraint handling rules"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  - name: "Gregory J. Duck"
    link: "https://researchr.org/alias/gregory-j.-duck"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1069774.1069795"
  links:
    doi: "http://doi.acm.org/10.1145/1069774.1069795"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/SchrijversSD05"
  cites: 0
  citedby: 0
  pages: "218-229"
  booktitle: "Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal"
  editor:
  - name: "Pedro Barahona"
    link: "https://researchr.org/alias/pedro-barahona"
  - name: "Amy P. Felty"
    link: "https://researchr.org/alias/amy-p.-felty"
  publisher: "ACM"
  isbn: "1-59593-090-6"
  kind: "inproceedings"
  key: "SchrijversSD05"
- title: "Guard Reasoning in the Refined Operational Semantics of CHR"
  author:
  - name: "Jon Sneyers"
    link: "https://researchr.org/alias/jon-sneyers"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-92243-8_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-92243-8_8"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/SneyersSD08"
  cites: 0
  citedby: 0
  pages: "213-244"
  booktitle: "Constraint Handling Rules, Current Research Topics"
  editor:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Thom W. Frühwirth"
    link: "https://researchr.org/alias/thom-w.-fr%C3%A3%C2%BChwirth"
  volume: "5388"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-92242-1"
  kind: "incollection"
  key: "SneyersSD08"
- title: "Type invariants for Haskell"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Louis-Julien Guillemette"
    link: "https://researchr.org/alias/louis-julien-guillemette"
  - name: "Stefan Monnier"
    link: "https://researchr.org/alias/stefan-monnier"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1481848.1481855"
  links:
    doi: "http://doi.acm.org/10.1145/1481848.1481855"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/SchrijversGM09"
  cites: 0
  citedby: 0
  pages: "39-48"
  booktitle: "Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009"
  editor:
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Todd D. Millstein"
    link: "https://researchr.org/alias/todd-d.-millstein"
  publisher: "ACM"
  isbn: "978-1-60558-330-3"
  kind: "inproceedings"
  key: "SchrijversGM09"
- title: "A Flexible Search Framework for CHR"
  author:
  - name: "Leslie De Koninck"
    link: "https://researchr.org/alias/leslie-de-koninck"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-92243-8_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-92243-8_2"
  tags:
  - "search"
  researchr: "https://researchr.org/publication/KoninckSD08-0"
  cites: 0
  citedby: 0
  pages: "16-47"
  booktitle: "Constraint Handling Rules, Current Research Topics"
  editor:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Thom W. Frühwirth"
    link: "https://researchr.org/alias/thom-w.-fr%C3%A3%C2%BChwirth"
  volume: "5388"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-92242-1"
  kind: "incollection"
  key: "KoninckSD08-0"
- title: "Optimal union-find in Constraint Handling Rules"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Thom W. Frühwirth"
    link: "https://researchr.org/alias/thom-w.-fr%C3%BChwirth"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S1471068405002541"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068405002541"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/SchrijversF06"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "6"
  number: "1-2"
  pages: "213-224"
  kind: "article"
  key: "SchrijversF06"
- title: "Haskell Type Constraints Unleashed"
  author:
  - name: "Dominic A. Orchard"
    link: "https://researchr.org/alias/dominic-a.-orchard"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-12251-4_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12251-4_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/OrchardS10"
  tags:
  - "constraints"
  - "Haskell"
  researchr: "https://researchr.org/publication/OrchardS10"
  cites: 0
  citedby: 0
  pages: "56-71"
  booktitle: "Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings"
  editor:
  - name: "Matthias Blume"
    link: "https://researchr.org/alias/matthias-blume"
  - name: "Naoki Kobayashi"
    link: "https://researchr.org/alias/naoki-kobayashi"
  - name: "Germán Vidal"
    link: "https://researchr.org/alias/germ%C3%A1n-vidal"
  volume: "6009"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12250-7"
  kind: "inproceedings"
  key: "OrchardS10"
- title: "TCHR: a framework for tabled CLP"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  - name: "David Scott Warren"
    link: "https://researchr.org/alias/david-scott-warren"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S147106840800327X"
  links:
    doi: "http://dx.doi.org/10.1017/S147106840800327X"
  researchr: "https://researchr.org/publication/SchrijversDW08"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "8"
  number: "4"
  pages: "491-526"
  kind: "article"
  key: "SchrijversDW08"
- title: "Guard and Continuation Optimization for Occurrence Representations of CHR"
  author:
  - name: "Jon Sneyers"
    link: "https://researchr.org/alias/jon-sneyers"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11562931_9"
  links:
    doi: "http://dx.doi.org/10.1007/11562931_9"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/SneyersSD05"
  cites: 0
  citedby: 0
  pages: "83-97"
  booktitle: "Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings"
  editor:
  - name: "Maurizio Gabbrielli"
    link: "https://researchr.org/alias/maurizio-gabbrielli"
  - name: "Gopal Gupta"
    link: "https://researchr.org/alias/gopal-gupta"
  volume: "3668"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29208-X"
  kind: "inproceedings"
  key: "SneyersSD05"
- title: "Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11562931_44"
  links:
    doi: "http://dx.doi.org/10.1007/11562931_44"
  tags:
  - "optimization"
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/Schrijvers05"
  cites: 0
  citedby: 0
  pages: "435-436"
  booktitle: "Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings"
  editor:
  - name: "Maurizio Gabbrielli"
    link: "https://researchr.org/alias/maurizio-gabbrielli"
  - name: "Gopal Gupta"
    link: "https://researchr.org/alias/gopal-gupta"
  volume: "3668"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29208-X"
  kind: "inproceedings"
  key: "Schrijvers05"
- title: "Towards a Framework for Constraint-Based Test Case Generation"
  author:
  - name: "François Degrave"
    link: "https://researchr.org/alias/fran%C3%A7ois-degrave"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Wim Vanhoof"
    link: "https://researchr.org/alias/wim-vanhoof"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12592-8_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12592-8_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lopstr/DegraveSV09"
  tags:
  - "rule-based"
  - "testing"
  - "constraints"
  researchr: "https://researchr.org/publication/DegraveSV09"
  cites: 0
  citedby: 0
  pages: "128-142"
  booktitle: "Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers"
  editor:
  - name: "Danny De Schreye"
    link: "https://researchr.org/alias/danny-de-schreye"
  volume: "6037"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12591-1"
  kind: "inproceedings"
  key: "DegraveSV09"
- title: "Guard Simplification in CHR programs"
  author:
  - name: "Jon Sneyers"
    link: "https://researchr.org/alias/jon-sneyers"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2005"
  researchr: "https://researchr.org/publication/SneyersSD05%3A0"
  cites: 0
  citedby: 0
  pages: "123-134"
  booktitle: "19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005"
  editor:
  - name: "Armin Wolf"
    link: "https://researchr.org/alias/armin-wolf"
  - name: "Thom W. Frühwirth"
    link: "https://researchr.org/alias/thom-w.-fr%C3%BChwirth"
  - name: "Marc Meister"
    link: "https://researchr.org/alias/marc-meister"
  volume: "2005-01"
  series: "Ulmer Informatik-Berichte"
  publisher: "Universität Ulm, Germany"
  kind: "inproceedings"
  key: "SneyersSD05:0"
- title: "Improving PARMA trailing"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  - name: "Maria J. García de la Banda"
    link: "https://researchr.org/alias/maria-j.-garc%C3%ADa-de-la-banda"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S1471068405002620"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068405002620"
  researchr: "https://researchr.org/publication/SchrijversDBS06"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "6"
  number: "6"
  pages: "609-644"
  kind: "article"
  key: "SchrijversDBS06"
- title: "INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals"
  author:
  - name: "Leslie De Koninck"
    link: "https://researchr.org/alias/leslie-de-koninck"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2006"
  doi: "http://www.kr.tuwien.ac.at/wlp06/13-final.ps.gz"
  links:
    doi: "http://www.kr.tuwien.ac.at/wlp06/13-final.ps.gz"
  tags:
  - "rule-based"
  - "constraints"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/KoninckSD06"
  cites: 0
  citedby: 0
  pages: "91-100"
  booktitle: "20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006"
  editor:
  - name: "Michael Fink"
    link: "https://researchr.org/alias/michael-fink"
  - name: "Hans Tompits"
    link: "https://researchr.org/alias/hans-tompits"
  - name: "Stefan Woltran"
    link: "https://researchr.org/alias/stefan-woltran"
  volume: "1843-06-02"
  series: "INFSYS Research Report"
  publisher: "Technische Universität Wien, Austria"
  kind: "inproceedings"
  key: "KoninckSD06"
- title: "Improving Prolog programs: Refactoring for Prolog"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S1471068407003134"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068407003134"
  tags:
  - "Prolog"
  - "refactoring"
  researchr: "https://researchr.org/publication/SerebrenikSD08"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "8"
  number: "2"
  pages: "201-215"
  kind: "article"
  key: "SerebrenikSD08"
- title: "The computational power and complexity of constraint handling rules"
  author:
  - name: "Jon Sneyers"
    link: "https://researchr.org/alias/jon-sneyers"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1462166.1462169"
  links:
    doi: "http://doi.acm.org/10.1145/1462166.1462169"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/SneyersSD09"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "31"
  number: "2"
  kind: "article"
  key: "SneyersSD09"
- title: "Monadic constraint programming"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2009"
  doi: "http://dx.doi.org/10.1017/S0956796809990086"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796809990086"
  tags:
  - "constraints"
  - "programming"
  researchr: "https://researchr.org/publication/SchrijversSW09"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "19"
  number: "6"
  pages: "663-697"
  kind: "article"
  key: "SchrijversSW09"
- title: "Transactions in Constraint Handling Rules"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_44"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89982-2_44"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/SchrijversS08"
  cites: 0
  citedby: 0
  pages: "516-530"
  booktitle: "Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings"
  editor:
  - name: "Maria Garcia de la Banda"
    link: "https://researchr.org/alias/maria-garcia-de-la-banda"
  - name: "Enrico Pontelli"
    link: "https://researchr.org/alias/enrico-pontelli"
  volume: "5366"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89981-5"
  kind: "inproceedings"
  key: "SchrijversS08"
- title: "Memory Reuse for CHR"
  author:
  - name: "Jon Sneyers"
    link: "https://researchr.org/alias/jon-sneyers"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11799573_8"
  links:
    doi: "http://dx.doi.org/10.1007/11799573_8"
  tags:
  - "reuse"
  researchr: "https://researchr.org/publication/SneyersSD06"
  cites: 0
  citedby: 0
  pages: "72-86"
  booktitle: "Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings"
  editor:
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Miroslaw Truszczynski"
    link: "https://researchr.org/alias/miroslaw-truszczynski"
  volume: "4079"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-36635-0"
  kind: "inproceedings"
  key: "SneyersSD06"
- title: "Dijkstra s Algorithm with Fibonacci Heaps: An Executable Description in CHR"
  author:
  - name: "Jon Sneyers"
    link: "https://researchr.org/alias/jon-sneyers"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  year: "2006"
  doi: "http://www.kr.tuwien.ac.at/wlp06/02-final.ps.gz"
  links:
    doi: "http://www.kr.tuwien.ac.at/wlp06/02-final.ps.gz"
  researchr: "https://researchr.org/publication/SneyersSD06%3A0"
  cites: 0
  citedby: 0
  pages: "182-191"
  booktitle: "20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006"
  editor:
  - name: "Michael Fink"
    link: "https://researchr.org/alias/michael-fink"
  - name: "Hans Tompits"
    link: "https://researchr.org/alias/hans-tompits"
  - name: "Stefan Woltran"
    link: "https://researchr.org/alias/stefan-woltran"
  volume: "1843-06-02"
  series: "INFSYS Research Report"
  publisher: "Technische Universität Wien, Austria"
  kind: "inproceedings"
  key: "SneyersSD06:0"
- title: "Principal Type Inference for GHC-Style Multi-parameter Type Classes"
  author:
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11924661_2"
  links:
    doi: "http://dx.doi.org/10.1007/11924661_2"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/SulzmannSS06"
  cites: 0
  citedby: 0
  pages: "26-43"
  booktitle: "Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings"
  editor:
  - name: "Naoki Kobayashi"
    link: "https://researchr.org/alias/naoki-kobayashi"
  volume: "4279"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-48937-1"
  kind: "inproceedings"
  key: "SulzmannSS06"
- title: "From Monomorphic to Polymorphic Well-Typings and Beyond"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Maurice Bruynooghe"
    link: "https://researchr.org/alias/maurice-bruynooghe"
  - name: "John P. Gallagher"
    link: "https://researchr.org/alias/john-p.-gallagher"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_11"
  researchr: "https://researchr.org/publication/SchrijversBG08"
  cites: 0
  citedby: 0
  pages: "152-167"
  booktitle: "Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers"
  editor:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  volume: "5438"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00514-5"
  kind: "inproceedings"
  key: "SchrijversBG08"
- title: "As time goes by: Constraint Handling Rules"
  author:
  - name: "Jon Sneyers"
    link: "https://researchr.org/alias/jon-sneyers"
  - name: "Peter Van Weert"
    link: "https://researchr.org/alias/peter-van-weert"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Leslie De Koninck"
    link: "https://researchr.org/alias/leslie-de-koninck"
  year: "2010"
  doi: "http://dx.doi.org/10.1017/S1471068409990123"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068409990123"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tplp/SneyersWSK10"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/SneyersWSK10"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "10"
  number: "1"
  pages: "1-47"
  kind: "article"
  key: "SneyersWSK10"
- title: "Automatic Generation of Test Inputs for Mercury"
  author:
  - name: "François Degrave"
    link: "https://researchr.org/alias/fran%C3%A7ois-degrave"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Wim Vanhoof"
    link: "https://researchr.org/alias/wim-vanhoof"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_6"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/DegraveSV08"
  cites: 0
  citedby: 0
  pages: "71-86"
  booktitle: "Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers"
  editor:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  volume: "5438"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00514-5"
  kind: "inproceedings"
  key: "DegraveSV08"
- title: "Constraint Handling Rules and Tabled Execution"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "David Scott Warren"
    link: "https://researchr.org/alias/david-scott-warren"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=120"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=120"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/SchrijversW04"
  cites: 0
  citedby: 0
  pages: "120-136"
  booktitle: "Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings"
  editor:
  - name: "Bart Demoen"
    link: "https://researchr.org/alias/bart-demoen"
  - name: "Vladimir Lifschitz"
    link: "https://researchr.org/alias/vladimir-lifschitz"
  volume: "3132"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22671-0"
  kind: "inproceedings"
  key: "SchrijversW04"
- title: "Attributed Data for CHR Indexing"
  author:
  - name: "Beata Sarna-Starosta"
    link: "https://researchr.org/alias/beata-sarna-starosta"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02846-5_30"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02846-5_30"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/Sarna-StarostaS09"
  cites: 0
  citedby: 0
  pages: "357-371"
  booktitle: "Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings"
  editor:
  - name: "Patricia M. Hill"
    link: "https://researchr.org/alias/patricia-m.-hill"
  - name: "David Scott Warren"
    link: "https://researchr.org/alias/david-scott-warren"
  volume: "5649"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02845-8"
  kind: "inproceedings"
  key: "Sarna-StarostaS09"
- title: "EffectiveAdvice: disciplined advice with explicit effects"
  author:
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1739230.1739244"
  links:
    doi: "http://doi.acm.org/10.1145/1739230.1739244"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/OliveiraSC10"
  cites: 0
  citedby: 0
  pages: "109-120"
  booktitle: "Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010"
  editor:
  - name: "Jean-Marc Jézéquel"
    link: "https://researchr.org/alias/jean-marc-j%C3%A3%C2%A9z%C3%A3%C2%A9quel"
  - name: "Mario Südholt"
    link: "https://researchr.org/alias/mario-s%C3%A3%C2%BCdholt"
  publisher: "ACM"
  isbn: "978-1-60558-958-9"
  kind: "inproceedings"
  key: "OliveiraSC10"
- title: "Constraint Handling Rules, Current Research Topics"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-92243-8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-92243-8"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/lncs-5388"
  cites: 0
  citedby: 0
  editor:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Thom W. Frühwirth"
    link: "https://researchr.org/alias/thom-w.-fr%C3%A3%C2%BChwirth"
  volume: "5388"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-92242-1"
  kind: "book"
  key: "lncs-5388"