Showing 2018Show all
2 papers · 1 filter
cs.DC2018
Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report
Thom Frühwirth, Daniel Gall
Constraint Handling Rules (CHR) is a declarative rule-based formalism and language. Concurrency is inherent as rules can be applied to subsets of constraints in parallel. Parallel…
cs.LO2018
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
Daniel Gall, Thom Frühwirth
Confluence denotes the property of a state transition system that states can be rewritten in more than one way yielding the same result. Although it is a desirable property, conflu…