Elimination of Conditions
Patrick Viry · UnipiEprints Open Archive (Università di Pisa) · 1995
We present a transformation from any conditional rewrite systems into non conditional ones and prove its correctness. The transformed systems are quite intuitive and well suited for parallel execution. We also show how termination and confluence of the original system are preserved in the transformed one.