On the Practicality of Abstract Equation Systems
LEON S. STERLING · 1995
A parametric combined data-flow analysis for logic programs based on the formalism of abstract equation systems is implemented and evaluated with respect to its accuracy and efficiency. The impact of each component of the domain on the precision and complexity of the analysis is measured. The experiments show that the domain generalizes several prior analyses and is suited as a basis for a flexible analysis tool. We report on the comparison with analyses such as Pat(R), Sharing+Free, and Sharing+Free+Linear.