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…