5 citations · 6 across the 4 of their papers we have counts for
5 papers
Experimental evaluation of optimal abstract operators for sharing and linearity analysis
Francesca Scozzari, Gianluca Amato
In the field of static analysis of logic programs, the optimality of abstract operators is a valuable theoretical property, as it provides insight into the structure of abstract do…
Optimal matching for sharing and linearity analysis
Gianluca Amato, Francesca Scozzari
Static analysis of logic programs by abstract interpretation requires designing abstract operators which mimic the concrete ones, such as unification, renaming and projection. In t…
Efficiently intertwining widening and narrowing
Gianluca Amato, Francesca Scozzari, Helmut Seidl +2
Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equati…
Optimal multi-binding unification for sharing and linearity analysis
Gianluca Amato, Francesca Scozzari
In the analysis of logic programs, abstract domains for detecting sharing properties are widely used. Recently the new domain $\Linp$ has been introduced to generalize both sharing…
Making Abstract Domains Condensing
R. Giacobazzi, F. Ranzato, F. Scozzari
In this paper we show that reversible analysis of logic languages by abstract interpretation can be performed without loss of precision by systematically refining abstract domains.…