Amortized resource analysis with polynomial potential (2010)

by Jan Hoffmann, Martin Hofmann
Venue:In Proceedings of the 19th European Symposium on Programming, ESOP 2010