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 | Sci. Comput. Program. |
| Volume | 92 |
| Pagination | 56–84 |
| URL | http://dx.doi.org/10.1016/j.scico.2013.11.036 |
| DOI | 10.1016/j.scico.2013.11.036 |
Work Package:
WP4
