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…