Optimizing compilation of constraint handling rules

DOI10.1007/3-540-45635-X_13MaRDI QIDQ4736505zbMATH OpenFDO

Authors Christian Holzbaur, Maria Garcia De La Banda, David Jeffery, Peter J. Stuckey

Publication date 9 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2237/22370074.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Optimizing compilation of constraint handling rules in HAL
• Logic Programming
• Logic Programming
• Theory and practice of constraint handling rules
• CHR for Imperative Host Languages

Cited in

(10)

• Optimized compilation of multiset rewriting with comprehensions
• CHR for Imperative Host Languages
• Guard Reasoning in the Refined Operational Semantics of CHR
• On the number of rule applications in constraint programs
• Memory Reuse for CHR
• Logic Programming
• Logic Programming
• Logic Programming
• Optimization of CHR Propagation Rules
• Optimizing compilation of constraint handling rules in HAL

This page was built for publication: Optimizing compilation of constraint handling rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736505)