Albert Albiol, Elvira MaríaArenas Sánchez, PurificaciónCorreas Fernández, JesúsGenaim, SamirGómez Zamalloa, MiguelMartín Martín, EnriquePuebla, GermánRomán Díez, Guillermo2023-06-182023-06-182015-06https://hdl.handle.net/20.500.14352/25001Lecture Notes in Computer Science. Vol. 9109Resource analysis aims at automatically inferring upper/lower bounds on the worst/best-case cost of executing programs. Ideally, a resource analyzer should be parametric on the cost model, i.e., the type of cost that the user wants infer (e.g., number of steps, amount of memory allocated, amount of data transmitted, etc.). The inferred upper bounds have important applications in the fields of program optimization, verification and certification. In this talk, we will review the basic techniques used in resource analysis of sequential programs and the new extensions needed to handle concurrent and distributed systems.engconference paperhttp://link.springer.com/chapter/10.1007/978-3-319-19249-9_1open access004.42Informática (Informática)Programación de ordenadores (Informática)1203.17 Informática1203.23 Lenguajes de Programación