Summary-based inference of quantitative bounds of live heap objects

TitleSummary-based inference of quantitative bounds of live heap objects
Publication TypeJournal Article
Year of Publication2014
AuthorsBraberman, VA, Garbervetsky, D, Hym, S, Yovine, S
JournalScience of Computer Programming
Volume92
Pagination56–84
Work Package: 
WP2