Universit a Degli Studi Di Pisa Dipartimento Di Informatica Elimination of Conditions Elimination of Conditions


We prove the correctness of a transformation from conditional rewrite systems (CTRS) into non conditional ones. This particular transformation has the advantage of expliciting all the possible parallelism in the evaluation of conditions. The main result states that this transformation applies to any CTRS, and that derivations are preserved up to a mapping… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics