30 citations · 31 across the 2 of their papers we have counts for
2 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…