15 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.PL2007★ 8 cited
On the interaction between sharing and linearity
Gianluca Amato, Francesca Scozzari
In the analysis of logic programs, abstract domains for detecting sharing and linearity information are widely used. Devising abstract unification algorithms for such domains has p…
cs.PL2005★ 15 cited
Optimality in Goal-Dependent Analysis of Sharing
Gianluca Amato, Francesca Scozzari
We face the problems of correctness, optimality and precision for the static analysis of logic programs, using the theory of abstract interpretation. We propose a framework with a…