Purity and Side Effect Analysis for Java Programs.

Alexandru Salcianu, Martin C. Rinard

Browse the full VMCAI paper archive.