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.

PDF file

Publisher  Microsoft Technical Report

Details