Purity Analysis: An Abstract Interpretation Formulation

Salcianu and Rinard present a compositional purity analysis that computes a summary for every procedure describing its side-effects. We formalize a generalization of this analysis as an abstract interpretation, present several optimizations and an empirical evaluation showing the value of these optimizations.