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.
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