“Synthesizing parametric specifications of dynamic memory
utilization in object-oriented programs”
by Víctor Braberman,
Diego Garbervetsky,
and
Sergio Yovine.
In FTfJP: 7th Workshop on Formal Techniques for Java-like
Programs, (Glasgow, Scotland), July 2005.
A previous version appeared as
“On synthesizing parametric specifications of dynamic memory
utilization”
by Víctor Braberman,
Diego Garbervetsky,
and
Sergio Yovine.
VERIMAG technical report 2004-03, 2004.
We present a static analysis approach 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 (actually polynomials) which conservatively estimate memory consumption in terms of method's 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.
BibTeX entry:
@inproceedings{BrabermanGY2005,
author = {V{\'\i}ctor Braberman and Diego Garbervetsky and Sergio Yovine},
title = {Synthesizing parametric specifications of dynamic memory
utilization in object-oriented programs},
booktitle = {FTfJP: 7th Workshop on Formal Techniques for Java-like
Programs},
address = {Glasgow, Scotland},
month = jul,
year = {2005}
}