@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}
}