Guard Reasoning in the Refined Operational Semantics of CHR

DOI10.1007/978-3-540-92243-8_8zbMath1229.68022OpenAlexW1920028919MaRDI QIDQ3616888

Jon Sneyers, Bart Demoen, Tom Schrijvers

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

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

Related Items (4)

A Compositional Semantics for CHR with Propagation Rules ⋮ CHR for Imperative Host Languages ⋮ Transactions in Constraint Handling Rules ⋮ Turing-Complete Subclasses of CHR

Cites Work

• Unnamed Item
• Unnamed Item
• As time goes by: Constraint Handling Rules
• Theory and practice of constraint handling rules
• Logic Programming
• Logic Programming
• Attributed Data for CHR Indexing
• Logic Programming
• Automatic generation of CHR constraint solvers
• Optimizing compilation of constraint handling rules in HAL

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