Search results for "Constraint Handling Rules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Thom W. Frühwirth	Welcome to Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
3	Jon Sneyers, Tom Schrijvers, Bart Demoen	The computational power and complexity of constraint handling rules.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	constant factors, complexity, Constraint Handling Rules
3	Henning Christiansen	Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
3	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard Reasoning in the Refined Operational Semantics of CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
3	Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella	A Compositional Semantics for CHR with Propagation Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
3	Armin Wolf, Jacques Robin, Jairson Vitorino	Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
3	Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck	Abstract interpretation for constraint handling rules.	PPDP	2005	DBLP DOI BibTeX RDF	abstract interpretation, constraint handling rules
3	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	Extending arbitrary solvers with constraint handling rules.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, constraint solvers, constraint handling rules
2	Jon Sneyers	Optimizing Compilation and Computational Complexity of Constraint Handling Rules.	ICLP	2009	DBLP DOI BibTeX RDF
2	Tom Schrijvers	Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
2	Leslie De Koninck, Tom Schrijvers, Bart Demoen	A Flexible Search Framework for CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
2	Ingi Sobhi, Slim Abdennadher, Hariolf Betz	Constructing Rule-Based Solvers for Intentionally-Defined Constraints.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
2	Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen	CHR for Imperative Host Languages.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
2	Beata Sarna-Starosta, C. R. Ramakrishnan	Compiling Constraint Handling Rules for Efficient Tabled Evaluation.	PADL	2007	DBLP DOI BibTeX RDF
2	Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen	Aggregates in Constraint Handling Rules.	ICLP	2007	DBLP DOI BibTeX RDF
2	Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann	Observable Confluence for Constraint Handling Rules.	ICLP	2007	DBLP DOI BibTeX RDF
2	Edmund S. L. Lam, Martin Sulzmann	A concurrent constraint handling rules implementation in Haskell with software transactional memory.	DAMP	2007	DBLP DOI BibTeX RDF	parallel implementation of concurrent language
2	Marc Meister, Khalil Djelloul, Jacques Robin	A Unified Semantics for Constraint Handling Rules in Transaction Logic.	LPNMR	2007	DBLP DOI BibTeX RDF
2	Leslie De Koninck, Tom Schrijvers, Bart Demoen	User-definable rule priorities for CHR.	PPDP	2007	DBLP DOI BibTeX RDF	rule priorities, constraint handling rules, execution control
2	Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth	Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.	SAC	2007	DBLP DOI BibTeX RDF	CHR (Constraint Handling Rules), first-order constraints solving, theory of finite or infinite trees, Prolog, unification
2	Thom W. Frühwirth	Constraint handling rules: the story so far.	PPDP	2006	DBLP DOI BibTeX RDF	concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming
2	Tom Schrijvers	Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary.	ICLP	2005	DBLP DOI BibTeX RDF
2	Thom W. Frühwirth	Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.	ICLP	2005	DBLP DOI BibTeX RDF
2	Hariolf Betz, Thom W. Frühwirth	A Linear-Logic Semantics for Constraint Handling Rules.	CP	2005	DBLP DOI BibTeX RDF
2	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	The Refined Operational Semantics of Constraint Handling Rules.	ICLP	2004	DBLP DOI BibTeX RDF
2	Tom Schrijvers, David Scott Warren	Constraint Handling Rules and Tabled Execution.	ICLP	2004	DBLP DOI BibTeX RDF
2	Henning Christiansen	Logical Grammars Based on Constraint Handling Rules.	ICLP	2002	DBLP DOI BibTeX RDF
2	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCos	2002	DBLP DOI BibTeX RDF
2	Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey	Optimizing Compilation of Constraint Handling Rules.	ICLP	2001	DBLP DOI BibTeX RDF
2	Slim Abdennadher, Thom W. Frühwirth	On Completion of Constraint Handling Rules.	CP	1998	DBLP DOI BibTeX RDF
1	Rémy Haemmerlé	(Co-)Inductive semantics for Constraint Handling Rules	CoRR	2011	DBLP BibTeX RDF
1	János Csorba, Zsolt Zombori, Péter Szeredi	Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language	CoRR	2011	DBLP BibTeX RDF
1	Edmund S. L. Lam, Martin Sulzmann	Concurrent goal-based execution of Constraint Handling Rules.	TPLP	2011	DBLP DOI BibTeX RDF
1	Frank Raiser, Thom W. Frühwirth	Analysing graph transformation systems through constraint handling rules.	TPLP	2011	DBLP DOI BibTeX RDF
1	Eric Monfroy	Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009. Hard cover: ISBN 978-0-521-87776-3.	TPLP	2011	DBLP DOI BibTeX RDF
1	Rémy Haemmerlé	(Co-)Inductive semantics for Constraint Handling Rules.	TPLP	2011	DBLP DOI BibTeX RDF
1	Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo	CLP projection for constraint handling rules.	PPDP	2011	DBLP DOI BibTeX RDF
1	Frank Raiser, Thom W. Frühwirth	Analyzing Graph Transformation Systems through Constraint Handling Rules	CoRR	2010	DBLP BibTeX RDF
1	Edmund S. L. Lam, Martin Sulzmann	Concurrent Goal-Based Execution of Constraint Handling Rules	CoRR	2010	DBLP BibTeX RDF
1	Hariolf Betz, Thom W. Frühwirth	Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction	CoRR	2010	DBLP BibTeX RDF
1	Hariolf Betz, Frank Raiser, Thom W. Frühwirth	A Complete and Terminating Execution Model for Constraint Handling Rules	CoRR	2010	DBLP BibTeX RDF
1	Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck	As time goes by: Constraint Handling Rules.	TPLP	2010	DBLP DOI BibTeX RDF
1	Hariolf Betz, Frank Raiser, Thom W. Frühwirth	A complete and terminating execution model for Constraint Handling Rules.	TPLP	2010	DBLP DOI BibTeX RDF
1	Frank Raiser	Graph Transformation Systems in Constraint Handling Rules - Improved Methods for Program Analysis.		2010	RDF
1	Chendong Li, Yichen Liu	Discovering Latent Healthy Nutritional Dietary Patterns with Association Rule Mining and Constraint Handling Rules.	DMIN	2010	DBLP BibTeX RDF
1	Thierry Martinez	Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules.	PPDP	2010	DBLP DOI BibTeX RDF
1	Peter Van Weert	Efficient Lazy Evaluation of Rule-Based Programs.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	Optimizing compilation, lazy evaluation, production rules, matching algorithms, constraint handling rules
1	Henning Christiansen	Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules.	J. Applied Logic	2009	DBLP DOI BibTeX RDF
1	Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck	As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007	CoRR	2009	DBLP BibTeX RDF
1	Leslie De Koninck	Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities	CoRR	2009	DBLP BibTeX RDF
1	Leslie De Koninck	Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities.	TPLP	2009	DBLP DOI BibTeX RDF
1	Beata Sarna-Starosta, Tom Schrijvers	Attributed Data for CHR Indexing.	ICLP	2009	DBLP DOI BibTeX RDF	term representation, attributed variables, indexing, program transformation, Constraint Handling Rules
1	Verónica Dahl, Erez Maharshak	DNA Replication as a Model for Computational Linguistics.	IWINAC	2009	DBLP DOI BibTeX RDF	DNA replication, long distance dependencies, synthesis, analysis, computational linguistics, molecular biology, constraint handling rules
1	Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo	On the expressive power of priorities in CHR.	PPDP	2009	DBLP DOI BibTeX RDF	constraint, expressive power
1	Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Semantics
1	Leslie De Koninck	Execution Control for CHR.	ICLP	2009	DBLP DOI BibTeX RDF
1	Paolo Pilozzi	Research Summary: Termination of CHR.	ICLP	2009	DBLP DOI BibTeX RDF
1	Paolo Pilozzi, Danny De Schreye	Automating Termination Proofs for CHR.	ICLP	2009	DBLP DOI BibTeX RDF
1	Paolo Pilozzi, Danny De Schreye	Proving Termination by Invariance Relations.	ICLP	2009	DBLP DOI BibTeX RDF
1	Frank Raiser	Research Summary.	ICLP	2009	DBLP DOI BibTeX RDF
1	Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo	Expressiveness of Multiple Heads in CHR.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Marc Meister	Advances in constraint handling rules.		2008	RDF
1	Tom Schrijvers, Thom W. Frühwirth (eds.)	Constraint Handling Rules, Current Research Topics		2008	DBLP DOI BibTeX RDF
1	Marco Gavanelli, Marco Alberti, Evelina Lamma	Integrating Abduction and Constraint Optimization in Constraint Handling Rules.	ECAI	2008	DBLP DOI BibTeX RDF
1	Tom Schrijvers, Martin Sulzmann	Transactions in Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
1	Paolo Pilozzi, Danny De Schreye	Termination Analysis of CHR Revisited.	ICLP	2008	DBLP DOI BibTeX RDF	Termination Analysis, Constraint Handling Rules
1	Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert	Actors with Multi-headed Message Receive Patterns.	COORDINATION	2008	DBLP DOI BibTeX RDF
1	Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck	Optimizing Compilation of CHR with Rule Priorities.	FLOPS	2008	DBLP DOI BibTeX RDF
1	Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey	Cadmium: An Implementation of ACD Term Rewriting.	ICLP	2008	DBLP DOI BibTeX RDF
1	Peter Van Weert	Optimization of CHR Propagation Rules.	ICLP	2008	DBLP DOI BibTeX RDF
1	Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey	Understanding functional dependencies via constraint handling rules.	J. Funct. Program.	2007	DBLP DOI BibTeX RDF
1	Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo	Unfolding in CHR.	PPDP	2007	DBLP DOI BibTeX RDF	program transformation, unfolding, constraint handling rules
1	Leslie De Koninck, Tom Schrijvers, Bart Demoen	The Correspondence Between the Logical Algorithms Language and CHR.	ICLP	2007	DBLP DOI BibTeX RDF
1	Frank Raiser	Graph Transformation Systems in CHR.	ICLP	2007	DBLP DOI BibTeX RDF
1	Peter Van Weert	Extension and Implementation of CHR.	ICLP	2007	DBLP DOI BibTeX RDF
1	Slim Abdennadher, Ingi Sobhi	Generation of Rule-Based Constraint Solvers: Combined Approach.	LOPSTR	2007	DBLP DOI BibTeX RDF
1	Peter Van Weert, Jon Sneyers, Bart Demoen	Aggregates for CHR through Program Transformation.	LOPSTR	2007	DBLP DOI BibTeX RDF
1	Rémy Haemmerlé, François Fages	Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.	RTA	2007	DBLP DOI BibTeX RDF
1	Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike	Converting Constraint Handling Rules to Equivalent Transformation Rules.	JACIII	2006	DBLP BibTeX RDF
1	Tom Schrijvers, Thom W. Frühwirth	Optimal union-find in Constraint Handling Rules.	TPLP	2006	DBLP DOI BibTeX RDF
1	Michael Hanus	Adding Constraint Handling Rules to Curry.	WLP	2006	DBLP BibTeX RDF
1	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Type Processing by Constraint Reasoning.	APLAS	2006	DBLP DOI BibTeX RDF
1	Henning Christiansen	On the Implementation of Global Abduction.	CLIMA	2006	DBLP DOI BibTeX RDF
1	Marc Meister, Khalil Djelloul, Thom W. Frühwirth	Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.	CSCLP	2006	DBLP DOI BibTeX RDF
1	Gregory J. Duck, Peter J. Stuckey, Sebastian Brand	ACD Term Rewriting.	ICLP	2006	DBLP DOI BibTeX RDF
1	Jon Sneyers, Tom Schrijvers, Bart Demoen	Memory Reuse for CHR.	ICLP	2006	DBLP DOI BibTeX RDF
1	Sandrine-Dominique Gouraud, Arnaud Gotlieb	Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.	PADL	2006	DBLP DOI BibTeX RDF	CHR, Java Card Virtual Machine, Software testing
1	Tom Schrijvers, Thom W. Frühwirth	Optimal Union-Find in Constraint Handling Rules	CoRR	2005	DBLP BibTeX RDF
1	Armin Wolf	Intelligent search strategies based on adaptive Constraint Handling Rules.	TPLP	2005	DBLP DOI BibTeX RDF
1	Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck	Optimizing compilation of constraint handling rules in HAL.	TPLP	2005	DBLP DOI BibTeX RDF
1	Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur	Introduction to the Special Issue on Constraint Handling Rules.	TPLP	2005	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	PPDP	2005	DBLP DOI BibTeX RDF
1	Peter J. Stuckey, Martin Sulzmann	A theory of overloading.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	evidence translation, Constraints, type inference, coherence, overloading, type classes
1	Henning Christiansen, Verónica Dahl	Meaning in Context.	CONTEXT	2005	DBLP DOI BibTeX RDF
1	Michael Thielscher	Handling Implication and Universal Quantification Constraints in FLUX.	CP	2005	DBLP DOI BibTeX RDF
1	Emmanuel Coquery, François Fages	A Type System for CHR.	CSCLP	2005	DBLP DOI BibTeX RDF
1	Thom W. Frühwirth	Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains.	CSCLP	2005	DBLP DOI BibTeX RDF
1	Henning Christiansen, Verónica Dahl	HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.	ICLP	2005	DBLP DOI BibTeX RDF
1	Emmanuel Coquery, François Fages	A Type System for CHR.	ICLP	2005	DBLP DOI BibTeX RDF
1	Jon Sneyers	Analysis and Optimization of CHR Programs.	ICLP	2005	DBLP DOI BibTeX RDF