Download: PDF.
“A static analysis for synthesizing parametric specifications of dynamic memory consumption” by Víctor Braberman, Diego Garbervetsky, and Sergio Yovine. Journal of Object Technology, vol. 5, no. 5, June 2006, pp. 31-58.
We present a static analysis for computing a parametric upper-bound of the amount of memory dynamically allocated by (Java-like) imperative object-oriented programs. We propose a general procedure for synthesizing non-linear formulas which conservatively estimate the quantity of memory explicitly allocated by a method as a function of its parameters. We have implemented the procedure and evaluated it on several benchmarks. Experimental results produced exact estimations for most test cases, and quite precise approximations for many of the others. We also apply our technique to compute usage in the context of scoped memory and discuss some open issues.
Download: PDF.
BibTeX entry:
@article{BrabermanGY2006,
author = {V{\'\i}ctor Braberman and Diego Garbervetsky and Sergio Yovine},
title = {A static analysis for synthesizing parametric specifications
of dynamic memory consumption},
journal = {Journal of Object Technology},
volume = {5},
number = {5},
pages = {31--58},
month = jun,
year = {2006}
}