A transformational approach to resource analysis with typed-norms

Elvira Albert; Samir Genaim; Rául Gutiérrez

doi:10.1007/978-3-319-14125-1_3

A transformational approach to resource analysis with typed-norms

Elvira Albert
, Samir Genaim
, Rául Gutiérrez

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

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 the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed-norms. Themain contribution of this paper is a transformational approach to resource analysis with typed-norms. The analysis is based on a transformation of the program into an intermediate abstract program in which each variable is abstracted with respect to all considered norms which are valid for its type. We also sketch a simple analysis that can be used to automatically infer the required, useful, typed-norms from programs.

Original language	English
Title of host publication	Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers
Editors	Ricardo Peña, Gopal Gupta
Publisher	Springer Verlag
Pages	38-53
Number of pages	16
ISBN (Electronic)	9783319141244
DOIs	https://doi.org/10.1007/978-3-319-14125-1_3
State	Published - 1 Jan 2014
Externally published	Yes
Event	23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013 - Madrid, Spain Duration: 18 Sep 2013 → 19 Sep 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8901
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013
Country/Territory	Spain
City	Madrid
Period	18/09/13 → 19/09/13

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-14125-1_3

Cite this

Albert, E., Genaim, S., & Gutiérrez, R. (2014). A transformational approach to resource analysis with typed-norms. In R. Peña, & G. Gupta (Eds.), Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers (pp. 38-53). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8901). Springer Verlag. https://doi.org/10.1007/978-3-319-14125-1_3

Albert, Elvira ; Genaim, Samir ; Gutiérrez, Rául. / A transformational approach to resource analysis with typed-norms. Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers. editor / Ricardo Peña ; Gopal Gupta. Springer Verlag, 2014. pp. 38-53 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0859c134eb554a6abbfce3c01d5ddacf,

title = "A transformational approach to resource analysis with typed-norms",

abstract = "In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along a program{\textquoteright}s execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural numbers that represent the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed-norms. Themain contribution of this paper is a transformational approach to resource analysis with typed-norms. The analysis is based on a transformation of the program into an intermediate abstract program in which each variable is abstracted with respect to all considered norms which are valid for its type. We also sketch a simple analysis that can be used to automatically infer the required, useful, typed-norms from programs.",

author = "Elvira Albert and Samir Genaim and R{\'a}ul Guti{\'e}rrez",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2014; 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013 ; Conference date: 18-09-2013 Through 19-09-2013",

year = "2014",

month = jan,

day = "1",

doi = "10.1007/978-3-319-14125-1\_3",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "38--53",

editor = "Ricardo Pe{\~n}a and Gopal Gupta",

booktitle = "Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers",

address = "Germany",

}

Albert, E, Genaim, S & Gutiérrez, R 2014, A transformational approach to resource analysis with typed-norms. in R Peña & G Gupta (eds), Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8901, Springer Verlag, pp. 38-53, 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, Madrid, Spain, 18/09/13. https://doi.org/10.1007/978-3-319-14125-1_3

A transformational approach to resource analysis with typed-norms. / Albert, Elvira; Genaim, Samir; Gutiérrez, Rául.
Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers. ed. / Ricardo Peña; Gopal Gupta. Springer Verlag, 2014. p. 38-53 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8901).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A transformational approach to resource analysis with typed-norms

AU - Albert, Elvira

AU - Genaim, Samir

AU - Gutiérrez, Rául

PY - 2014/1/1

Y1 - 2014/1/1

N2 - 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 the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed-norms. Themain contribution of this paper is a transformational approach to resource analysis with typed-norms. The analysis is based on a transformation of the program into an intermediate abstract program in which each variable is abstracted with respect to all considered norms which are valid for its type. We also sketch a simple analysis that can be used to automatically infer the required, useful, typed-norms from programs.

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 the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed-norms. Themain contribution of this paper is a transformational approach to resource analysis with typed-norms. The analysis is based on a transformation of the program into an intermediate abstract program in which each variable is abstracted with respect to all considered norms which are valid for its type. We also sketch a simple analysis that can be used to automatically infer the required, useful, typed-norms from programs.

UR - https://www.scopus.com/pages/publications/84927658706

U2 - 10.1007/978-3-319-14125-1_3

DO - 10.1007/978-3-319-14125-1_3

M3 - Conference contribution

AN - SCOPUS:84927658706

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 38

EP - 53

BT - Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers

A2 - Peña, Ricardo

A2 - Gupta, Gopal

PB - Springer Verlag

T2 - 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013

Y2 - 18 September 2013 through 19 September 2013

ER -

Albert E, Genaim S, Gutiérrez R. A transformational approach to resource analysis with typed-norms. In Peña R, Gupta G, editors, Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers. Springer Verlag. 2014. p. 38-53. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-14125-1_3

A transformational approach to resource analysis with typed-norms

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this