Automatic Amortized Resource Analysis with Regular Recursive Types

Jessie Grosen, David M. Kahn, Jan Hoffmann

The goal of automatic resource bound analysis is to statically infer symbolic bounds on the resource consumption of the evaluation of a program. A longstanding challenge for automa…