Università di Pisa
Sistema bibliotecario di ateneo

Optimality in Goal-Dependent Analysis of Sharing

Scozzari, Francesca and Amato, Gianluca (2005) 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 (427Kb)


    In the context of abstract interpretation based static analysis, we cope with the problem of correctness and optimality for logic program analysis. We propose a new framework equipped with a denotational, goal-dependent semantics which refines many goal-driven frameworks appeared in the literature. The key point is the introduction of two specialized concrete operators for forward and backward unification. We prove that our goal-dependent semantics is correct w.r.t. computed answers and we provide the best correct approximations of all the operators involved in the semantics for 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, existentially quantified substitutions, logic programming, matching, sharing, 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: 09 Dec 2014 11:20
    Last Modified: 09 Dec 2014 11:20
    URI: http://eprints.adm.unipi.it/id/eprint/2135

    Repository staff only actions

    View Item