V. Braberman, F. Fernandez, D. Garbervetsky, S. Yovine
Symbolic Prediction of Dynamic-Memory Requirements (2007)
Symbolic Prediction of Dynamic-Memory Requirements (2007)
TR-2007-11.pdf
Keywords: Dynamic memory, Scoped-memory management, Memory requirements
Abstract: This work presents a technique to compute symbolic non-linear approximations of the amount of dynamic memory required to safely run a method in (Java-like) imperative programs. We do that for scoped-memory management where objects are organized in regions associated with the lifetime of methods. Our approach resorts to a symbolic non-linear optimization problem which is solved using Bernstein basis.
