7 citations · 7 across the 3 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
Henning Christiansen, Maja Kirkeby
Confluence of a nondeterministic program ensures a functional input-output relation, freeing the programmer from considering the actual scheduling strategy, and allowing optimized…
cs.PL2018
Confluence of CHR revisited: invariants and modulo equivalence
Henning Christiansen, Maja H. Kirkeby
Abstract simulation of one transition system by another is introduced as a means to simulate a potentially infinite class of similar transition sequences within a single transition…