Viry, Patrick (1995) Elimination of Conditions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (93Kb) |
Official URL: http://compass2.di.unipi.it/TR/files/TR-95-19.ps.g...
Abstract
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 |