30 citations · 30 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…