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…