Universidad Complutense de Madrid
E-Prints Complutense

A Transformational Approach to Resource Analysis with Typed-Norms



Último año

Albert Albiol, Elvira y Genaim, Samir y Gutiérrez, Raúl (2014) A Transformational Approach to Resource Analysis with Typed-Norms. In 23rd International Symposium, LOPSTR 2013, September 18–19, 2013, Madrid.

Vista previa

URL Oficial: http://link.springer.com/chapter/10.1007/978-3-319-14125-1_3#page-1


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.

Tipo de documento:Ponencia o Póster de Seminario, Congreso,etc (Ponencia)
Información Adicional:

Lecture Notes in Computer Science. Vol. 8901

Materias:Ciencias > Informática
Ciencias > Informática > Software
Código ID:36996
Depositado:11 Abr 2016 14:26
Última Modificación:20 Abr 2016 11:47

Descargas en el último año

Sólo personal del repositorio: página de control del artículo