Purity and Side Effect Analysis for Java Programs.

Alexandru Salcianu Martin C. Rinard Purity and Side Effect Analysis for Java Programs. 199-215 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3385&spage=199 2005 conf/vmcai/2005 VMCAI db/conf/vmcai/vmcai2005.html#SalcianuR05