Universidad Complutense de Madrid
E-Prints Complutense

A Transformational Approach to Resource Analysis with Typed-Norms

Impacto

Downloads

Downloads per month over past year



Albert Albiol, Elvira and Genaim, Samir and 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.

[img]
Preview
PDF
401kB

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



Abstract

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.


Item Type:Conference or Workshop Item (Lecture)
Additional Information:

Lecture Notes in Computer Science. Vol. 8901

Subjects:Sciences > Computer science
Sciences > Computer science > Software
ID Code:36996
Deposited On:11 Apr 2016 14:26
Last Modified:20 Apr 2016 11:47

Origin of downloads

Repository Staff Only: item control page