A simple and scalable static analysis for bound analysis and amortized complexity analysis
Moritz Sinn
, Florian Zuleger
and Helmut Veith
Full Text: PDF
Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-646-6