TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Genaim, Samir
AU  - Gutiérrez, Raúl
PY  - 2014
UR  - https://hdl.handle.net/20.500.14352/36149
AB  - In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along a program's execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural numbers...
LA  - eng
M2  - 38
TI  - A Transformational Approach to Resource Analysis with Typed-Norms
TY  - conference paper
ER  -