Università di Pisa
Sistema bibliotecario di ateneo

Elimination of Conditions

Viry, Patrick (1995) Elimination of Conditions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (93Kb)


    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.

    Item Type: Book
    Uncontrolled Keywords:
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 26 Jan 2015 08:43
    Last Modified: 26 Jan 2015 08:43
    URI: http://eprints.adm.unipi.it/id/eprint/1924

    Repository staff only actions

    View Item