2 papers
cs.LO2026
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…
cs.PL2024
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…