30 citations · 31 across the 3 of their papers we have counts for
3 papers
cs.PL2010★ 1 cited
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
Hariolf Betz, Thom W. Frühwirth
Constraint Handling Rules (CHR) is a declarative committed-choice programming language with a strong relationship to linear logic. Its generalization CHR with Disjunction (CHRv) is…
cs.LO2010★ 30 cited
A Complete and Terminating Execution Model for Constraint Handling Rules
Hariolf Betz, Frank Raiser, Thom Frühwirth
We observe that the various formulations of the operational semantics of Constraint Handling Rules proposed over the years fall into a spectrum ranging from the analytical to the p…
cs.LO2010
Analyzing Graph Transformation Systems through Constraint Handling Rules
Frank Raiser, Thom Frühwirth
Graph transformation systems (GTS) and constraint handling rules (CHR) are non-deterministic rule-based state transition systems. CHR is well-known for its powerful confluence and…