Multivariate amortized resource analysis (2011)

by J Hoffmann, K Aehlig, M Hofmann
Venue:In POPL ’11