Università di Pisa
Sistema bibliotecario di ateneo

Rewriting on cyclic structures

Corradini, Andrea and Gadducci, Fabio (1998) Rewriting on cyclic structures. 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 (149Kb)


    We present a categorical formulation of the rewriting of possibly cyclic term graphs, and the proof that this presentation is equivalent to the well-accepted operational definition proposed by Barendregt et al., but for the case of circular redexes, for which we propose (and justify formally) a different treatment. The categorical framework, based on suitable 2-categories, allows to model also automatic garbage collection and rules for sharing/unsharing and folding/unfolding of structures. Furthermore, it can be used for defining various extensions of term graph rewriting, and for relating it to other rewriting formalisms.

    Item Type: Book
    Uncontrolled Keywords: tyerm graph rewriting, categorical models, rewriting logic
    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 14:30
    Last Modified: 26 Jan 2015 14:30
    URI: http://eprints.adm.unipi.it/id/eprint/1994

    Repository staff only actions

    View Item