@article {233, title = {Summary-based inference of quantitative bounds of live heap objects}, journal = {Science of Computer Programming}, volume = {92}, year = {2014}, pages = {56{\textendash}84}, author = {V{\'\i}ctor A. Braberman and Diego Garbervetsky and Hym, Samuel and Yovine, Sergio} }