Elvira Albert Samir Genaim Miguel Gómez-Zamalloa Live heap space analysis for languages with garbage collection. 129-138 2009 ISMM http://doi.acm.org/10.1145/1542431.1542450 conf/iwmm/2009 db/conf/iwmm/ismm2009.html#AlbertGG09