Automatic Inference of Resource Consumption Bounds.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, Germn Puebla

Browse the full LPAR paper archive.