Purity and side effect analysis for java programs (2005)

by A Salcianu, M Rinard
Venue:In Proc. 6th International Conference on Verification, Model Checking and Abstract Interpretation