Transactions in Constraint Handling Rules

DOI10.1007/978-3-540-89982-2_44zbMath1185.68182OpenAlexW1539211146MaRDI QIDQ5504677

Martin Sulzmann, Tom Schrijvers

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/197677

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Unfolding for CHR programs, Transactions in Constraint Handling Rules

Cites Work

• Confluence and semantics of constraint simplification rules
• Optimal union-find in Constraint Handling Rules
• Observable Confluence for Constraint Handling Rules
• Guard Reasoning in the Refined Operational Semantics of CHR
• Theory and practice of constraint handling rules
• Unfolding for CHR programs
• Logic Programming
• Transactions in Constraint Handling Rules
• A Concurrent Calculus with Atomic Transactions