Automatic inference of bounds on resource consumption - Albert E; Alonso-Blas D; Arenas P; Correas J; Flores-Montoya A; Genaim S; Gómez-Zamalloa M; Masud A; Puebla G; Rojas J; Román-Díez G; Zanardini D (Lecture Notes In Computer Science, 2013)