Automatic Accurate Stack Space and Heap Space Analysis for
High-Level Languages
Leena Unnikrishnan, Scott D. Stoller, and Yanhong A. Liu
This paper describes a general approach for automatic and accurate space
and space-bound analyses for high-level languages, considering stack
space, heap allocation and live heap space usage of programs. The approach
is based on program analysis and transformations and is fully
automatic. The analyses produce accurate upper bounds in the presence of
partially known input structures. The analyses have been implemented, and
experimental results confirm the accuracy.
BiBTeX
PDF
Scott Stoller's Home Page