Publications
Filters: Author is Yovine, Sergio [Clear All Filters]
, “Summary-based inference of quantitative bounds of live heap objects”, Sci. Comput. Program., vol. 92, p. 56–84, 2014.
, “Summary-based inference of quantitative bounds of live heap objects”, Science of Computer Programming, vol. 92, p. 56–84, 2014.
1-s2.0-S0167642313003298-main.pdf (515.25 KB)
1-s2.0-S0167642313003298-main.pdf (515.25 KB)
