Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge: Dynamic purity analysis for java programs. PASTE 2007: 75-82