A flow-based approach for variant parametric types
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The computational power and complexity of constraint handling rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Recent Advances in Constraints
Turing-Complete Subclasses of CHR
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Welcome to Constraint Handling Rules
Constraint Handling Rules
CHR for Imperative Host Languages
Constraint Handling Rules
Optimizing Compilation and Computational Complexity of Constraint Handling Rules
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Strong Joinability Analysis for Graph Transformation Systems in CHR
Electronic Notes in Theoretical Computer Science (ENTCS)
Chr(prism)-based probabilistic logic learning
Theory and Practice of Logic Programming
A complete and terminating execution model for constraint handling rules
Theory and Practice of Logic Programming
Decidability properties for fragments of chr
Theory and Practice of Logic Programming
Satisfiability algorithms for conjunctive queries over trees
Proceedings of the 14th International Conference on Database Theory
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming
CLP projection for constraint handling rules
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Rule-enhanced domain models for cloud security governance, risk and compliance management
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
An overview of ciao and its design philosophy
Theory and Practice of Logic Programming - Prolog Systems
Computers & Mathematics with Applications
Modular extensions for modular (logic) languages
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Probabilistic termination of CHRiSM programs
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Property grammar parsing seen as a constraint optimization problem
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
Compiling CHR to parallel hardware
Proceedings of the 14th symposium on Principles and practice of declarative programming
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL)
Diagrammatic confluence for constraint handling rules*
Theory and Practice of Logic Programming
Decentralized execution of constraint handling rules for ensembles
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
| Hi-index | 0.00 |
Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject.