A System for Tabled Constraint Logic Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Extending arbitrary solvers with constraint handling rules
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Abstract interpretation for constraint handling rules
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Theory and Practice of Logic Programming
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
The computational power and complexity of constraint handling rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
CHR for Imperative Host Languages
Constraint Handling Rules
Guard Reasoning in the Refined Operational Semantics of CHR
Constraint Handling Rules
Attributed Data for CHR Indexing
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Automatic Implication Checking for CHR Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
CLP projection for constraint handling rules
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Reactive imperative programming with dataflow constraints
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Compiling constraint handling rules for efficient tabled evaluation
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Smchr: Satisfiability modulo constraint handling rules
Theory and Practice of Logic Programming
Lightweight compilation of (c)lp to javascript*
Theory and Practice of Logic Programming
The CHR-based Implementation of the SCIFF Abductive System
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |