"A Simple and Scalable Static Analysis for Bound Analysis and Amortized ..."

Moritz Sinn, Florian Zuleger, Helmut Veith (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics