Purity and Side Effect Analysis for Java Programs
Alexandre D. Salcianu and Martin C. Rinard. Idea Método para analizar la pureza de programas Java (no anotados). Construido sobre una mejora de “combined.