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.

PurityAbsInt-tech-report.pdf
PDF file

Publisher  Microsoft Technical Report

Details

TypeTechReport
NumberMSR-TR-2011-102
> Publications > Purity Analysis: An Abstract Interpretation Formulation