Verimag

Technical Reports

V. Braberman, F. Fernandez, D. Garbervetsky, S. Yovine
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.

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874541