Università di Pisa
Sistema bibliotecario di ateneo

Optimality in goal-dependent Analysis of Sharing

Amato, Gianluca and Scozzari, Francesca (2002) Optimality in goal-dependent Analysis of Sharing. 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 (154Kb)


    We cope with the problem of correctness and optimality for logic programs analysis by abstract interpretation. We refine the Cortesi and File' goal-dependent framework by fixing a result of correctness and introducing two specialized operators for forward and backward unification. We provide the best correct abstractions of the concrete operators in the case of set-sharing analysis. We show that the precision of the overall analysis is strictly improved and that, in some cases, we gain precision w.r.t. more complex domains involving linearity and freeness information.

    Item Type: Book
    Uncontrolled Keywords: Abstract Interpretation, Logic Programming, Sharing
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 17 Dec 2014 16:53
    Last Modified: 17 Dec 2014 16:53
    URI: http://eprints.adm.unipi.it/id/eprint/2077

    Repository staff only actions

    View Item