@article {346,
	title = {Summary-based inference of quantitative bounds of live heap objects},
	journal = {Sci. Comput. Program.},
	volume = {92},
	year = {2014},
	pages = {56{\textendash}84},
	doi = {10.1016/j.scico.2013.11.036},
	url = {http://dx.doi.org/10.1016/j.scico.2013.11.036},
	author = {V{\'\i}ctor A. Braberman and Diego Garbervetsky and Hym, Samuel and Yovine, Sergio}
}