• DOI:10.1145/1542431.1542451
Corpus ID: 15778074

Parametric heap usage analysis for functional programs

@inproceedings{Unnikrishnan2009ParametricHU,
  title={Parametric heap usage analysis for functional programs},
  author={L. Unnikrishnan and S. Stoller},
  booktitle={ISMM '09},
  year={2009}
}

L. Unnikrishnan, S. Stoller

Published in ISMM '09 2009

Computer Science

This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garbage collection). First, the given program is automatically transformed into bound functions that describe upper bounds on the live heap space usage and other related space metrics in terms of the sizes of function arguments. The bound functions are simplified and rewritten to obtain recurrences, which are then solved to… CONTINUE READING

View on ACM

fsl.cs.sunysb.edu

Save to Library

Create Alert

Cite

Launch Research Feed