Login / Signup

Summary-based inference of quantitative bounds of live heap objects.

Víctor A. BrabermanDiego GarbervetskySamuel HymSergio Yovine
Published in: Sci. Comput. Program. (2014)
Keyphrases