Amortized Resource Analysis with Polynomial Potential.

Jan Hoffmann, Martin Hofmann

Browse the full ESOP paper archive.