Summary-based inference of quantitative bounds of live heap objects
| Title | Summary-based inference of quantitative bounds of live heap objects |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Braberman, VA, Garbervetsky, D, Hym, S, Yovine, S |
| Journal | Science of Computer Programming |
| Volume | 92 |
| Pagination | 56–84 |
PDF (Full text):
Work Package:
WP2
