Amortized Resource Analysis with Polynomial Potential. (2010)

by J Hoffmann, M Hofmann
Venue:In 19th Euro. Symp. on Prog. (ESOP’10),