2 citations · 3 across the 17 of their papers we have counts for
Showing 2018Show all
3 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.CG2018
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design
Thom Fruehwirth
We are developing a rule-based implementation of a tool to analyse and generate graphs. It is currently used in the domain of mason's marks. For thousands of years, stonemasons hav…
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…