Guard Reasoning in the Refined Operational Semantics of CHR

DOI10.1007/978-3-540-92243-8_8MaRDI QIDQ3616888zbMATH OpenOpenAlexFDO

Authors Jon Sneyers, Tom Schrijvers, Bart Demoen

Publication date 26 March 2009

Published in Constraint Handling Rules (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-92243-8_8

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Logic Programming
• Logic Programming
• Logic Programming
• A compositional semantics for CHR
• A Compositional Semantics for CHR with Propagation Rules

Cites work

• As time goes by: constraint handling rules
• Attributed Data for CHR Indexing
• Automatic generation of CHR constraint solvers
• scientific article; zbMATH DE number 1487975 (Why is no real title available?)
• scientific article; zbMATH DE number 2085270 (Why is no real title available?)
• Logic Programming
• Logic Programming
• Logic Programming
• Optimizing compilation of constraint handling rules in HAL
• Theory and practice of constraint handling rules

Cited in

(7)

• scientific article; zbMATH DE number 6215728 (Why is no real title available?)
• A Compositional Semantics for CHR with Propagation Rules
• CHR for Imperative Host Languages
• Logic Programming
• Logic Programming
• Transactions in Constraint Handling Rules
• Turing-Complete Subclasses of CHR

This page was built for publication: Guard Reasoning in the Refined Operational Semantics of CHR

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