Amortized Resource Analysis with Polynomial Potential A Static Inference of Polynomial Bounds for Functional Programs (Extended Version)

by Jan Hoffmann , Martin Hofmann , Ludwig-maximilians-universität München
Citations:11 - 5 self