@techreport{ramalingam2011purity,
author = {Ramalingam, G. and Vaswani, Kapil},
title = {Purity Analysis: An Abstract Interpretation Formulation},
year = {2011},
month = {September},
abstract = {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},
url = {http://approjects.co.za/?big=en-us/research/publication/purity-analysis-an-abstract-interpretation-formulation-2/},
number = {MSR-TR-2011-102},
}