Ravichandhran Madhavan, Ganesan Ramalingam, and Kapil Vaswani
2 September 2011
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.
Publisher Microsoft Technical Report