A Linear-Logic Semantics for Constraint Handling Rules

DOI10.1007/11564751_13MaRDI QIDQ3524170zbMATH OpenOpenAlexFDO

Authors Hariolf Betz, Thom Frühwirth

Publication date 9 September 2008

Published in Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11564751_13

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Linear-logic based analysis of Constraint Handling Rules with disjunction
• A compositional semantics for CHR
• A Compositional Semantics for CHR with Propagation Rules
• A Unified Semantics for Constraint Handling Rules in Transaction Logic
• Welcome to Constraint Handling Rules

Cited in

(14)

• LMNtal as a hierarchical logic programming language
• Models and emerging trends of concurrent constraint programming
• Linear-logic based analysis of Constraint Handling Rules with disjunction
• (Co-)inductive semantics for constraint handling rules
• Formalizing two fixed point semantics for \(HH(C)\)
• Advances in constraint handling rules.
• A complete and terminating execution model for constraint handling rules
• Welcome to Constraint Handling Rules
• A Compositional Semantics for CHR with Propagation Rules
• Programming in logic without logic programming
• A Unified Semantics for Constraint Handling Rules in Transaction Logic
• A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
• An alternative linear semantics for allowed logic programs
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

This page was built for publication: A Linear-Logic Semantics for Constraint Handling Rules

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