Exhaustive parallel rewriting with multiple removals

Frank Raiser and Thom Frühwirth. Exhaustive parallel rewriting with multiple removals. 2010, 24th Workshop on (Constraint) Logic Programming, Workshop

Abstract:

Parallel multiset rewriting is usually restricted to be free of overlaps, such that multiple rule applications cannot remove the same object. In this work, we present a parallel execution strategy for Constraint Handling Rules that allows multiple removals of constraints, for which different multiplicities have no effect on results. We show that the resulting operational semantics is sound with respect to sequential execution and discuss exemplary applications.