Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. Summary-based inference of quantitative bounds of live heap objects. Science of Computer Programming, 92:56-84, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.