Amortized Resource Analysis with Polynomial Potential A Static Inference of Polynomial Bounds for Functional Programs

Abstract

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… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

0204060201520162017
Citations per Year

Citation Velocity: 13

Averaging 13 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics