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

Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla

Browse the full SAS paper archive.