Università di Pisa
Sistema bibliotecario di ateneo

Rewriting modulo a rewrite system

Viry, Patrick (1995) Rewriting modulo a rewrite system. 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 (110Kb)


    We introduce rewriting with two sets of rules, the first interpreted equationally and the second not. A semantic view considers equational rules as defining an equational theory and reduction rules as defining a rewrite relation modulo this theory. An operational view considers both sets of rules as similar. We introduce sufficient properties for these two views to be equivalent (up to different notions of equivalence). The paper ends with a collection of example showing the effectiveness of this approach.

    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:42
    Last Modified: 26 Jan 2015 08:42
    URI: http://eprints.adm.unipi.it/id/eprint/1925

    Repository staff only actions

    View Item