Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR.
Marc Meister · 2006
Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. Recently it was shown that programs for standard (operational) semantics can be interpreted in a parallel computation model. As case study, the classical, imperative, parallel, and non-confluent preflow-push algorithm is implemented in CHR for refined and for standard semantics.