Matthew Finifter Adrian Mettler Naveen Sastry David A. Wagner 0001 Verifiable functional purity in java. 161-174 2008 CCS https://doi.org/10.1145/1455770.1455793 conf/ccs/2008 db/conf/ccs/ccs2008.html#FinifterMSW08