Elvira Albert Puri Arenas Samir Genaim Germán Puebla Damiano Zanardini Removing useless variables in cost analysis of Java bytecode. 368-375 2008 SAC http://doi.acm.org/10.1145/1363686.1363779 conf/sac/2008 db/conf/sac/sac2008.html#AlbertAGPZ08