Amortized Resource Analysis with Polynomial Potential

A Static Inference of Polynomial Bounds for Functional Programs
  • Jan Hoffmann
  • Martin Hofmann
Conference paper

DOI: 10.1007/978-3-642-11957-6_16

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6012)
Cite this paper as:
Hoffmann J., Hofmann M. (2010) Amortized Resource Analysis with Polynomial Potential. In: Gordon A.D. (eds) Programming Languages and Systems. ESOP 2010. Lecture Notes in Computer Science, vol 6012. Springer, Berlin, Heidelberg


In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. This analysis has been successfully applied to many standard algorithms but is limited to bounds that are linear in the size of the input.

Here we extend this system to polynomial resource bounds. An automatic amortized analysis is used to infer these bounds for functional programs without further annotations if a maximal degree for the bounding polynomials is given. The analysis is generic in the resource and can obtain good bounds on heap-space, stack-space and time usage.


Functional Programming Static Analysis Resource Consumption Amortized Analysis 

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jan Hoffmann
    • 1
  • Martin Hofmann
    • 1
  1. 1.Ludwig-Maximilians-Universität München 

Personalised recommendations