Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Purity Analysis: An Abstract Interpretation Formulation

Ravichandhran Madhavan, Ganesan Ramalingam, and Kapil Vaswani

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.

Details

Publication typeTechReport
NumberMSR-TR-2011-102
PublisherMicrosoft Technical Report
> Publications > Purity Analysis: An Abstract Interpretation Formulation