Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. (2008)

by E Albert, P Arenas, S Genaim, G Puebla
Venue:In 15th International Symposium on Static Analysis (SAS’08),