Parametric heap usage analysis for functional programs

  title={Parametric heap usage analysis for functional programs},
  author={L. Unnikrishnan and S. Stoller},
  booktitle={ISMM '09},
  • 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
    15 Citations
    Parametric inference of memory requirements for garbage collected languages
    • 52
    • PDF
    Quantitative analysis for symbolic heap bounds of CPS software
    • 1
    • PDF
    Task-level analysis for a language with async/finish parallelism
    • 17
    • PDF
    Closure conversion is safe for space
    • 6
    • PDF