RT Conference Proceedings
T1 A Transformational Approach to Resource Analysis with Typed-Norms
A1 Albert Albiol, Elvira
A1 Genaim, Samir
A1 Gutiérrez, Raúl
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 that represent thesizes of the corresponding data. When norms are de_ned by taking typeinformation into account, they are named typed-norms. The main contributionof this paper is a transformational approach to resource analysiswith typed-norms. The analysis is based on a transformation of the programinto an intermediate abstract program in which each variable isabstracted with respect to all considered norms which are valid for itstype. We also sketch a simple analysis that can be used to automaticallyinfer the required, useful, typed-norms from programs.
YR 2014
FD 2014-12
LK https://hdl.handle.net/20.500.14352/36149
UL https://hdl.handle.net/20.500.14352/36149
LA eng
NO Lecture Notes in Computer Science. Vol. 8901
NO Unión Europea. FP7
NO Ministerio de Economía y Competitividad (MINECO)
DS Docta Complutense
RD 15 may 2024