[Science of Computer Programming] Summary-based inference of quantitative bounds of live heap objects

Science of Computer Programming: Victor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine, "Summary-based inference of quantitative bounds of live heap objects", in press.

Undefined