Università di Pisa
Sistema bibliotecario di ateneo

On abstract unification for variable aliasing

Amato, Gianluca and Scozzari, Francesca (2005) On abstract unification for variable aliasing. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Other (GZip)
Available under License Creative Commons Attribution No Derivatives.

Download (394Kb)


    We face the problem of devising optimal unification operators for domains of abstract substitutions. In particular, we are interested in abstract domains for sharing and linerity properties, which are widely used in logic program analysis. We propose a new (infinite) domain ShLin which can be thought of as a general framework from which other domains can be easily derived by abstraction. The advantage is that abstract unification in ShLin is simple and elegant, and it is based on a new concept of sharing graph which plays the same role of alternating paths for pair sharing analysis. We also provide an alternative, purely algebraic description of sharing graphs. Starting from the results for ShLin, we derive optimal abstract operators for two well-known domains which combine sharing and linearity: a domain proposed by Andy King and the classic Sharing X Lin.

    Item Type: Book
    Uncontrolled Keywords: Abstract interpretation, static analysis, sharing, linearity, abstract unification.
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 05 Dec 2014 13:17
    Last Modified: 05 Dec 2014 13:17
    URI: http://eprints.adm.unipi.it/id/eprint/2137

    Repository staff only actions

    View Item