- -

A Transformational Approach to Resource Analysis with Typed-Norms

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

A Transformational Approach to Resource Analysis with Typed-Norms

Show full item record

Albert Albiol, EM.; Genaim, S.; Gutiérrez Gil, R. (2014). A Transformational Approach to Resource Analysis with Typed-Norms. Lecture Notes in Computer Science. 8901:38-53. doi:10.1007/978-3-319-14125-1_3

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/60351

Files in this item

Item Metadata

Title: A Transformational Approach to Resource Analysis with Typed-Norms
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
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 ...[+]
Subjects: Resource analysis , Type-norms , Complexity
Copyrigths: Reserva de todos los derechos
Source:
Lecture Notes in Computer Science. (issn: 0302-9743 )
DOI: 10.1007/978-3-319-14125-1_3
Publisher:
Springer Verlag (Germany)
Publisher version: http://dx.doi.org/10.1007/978-3-319-14125-1_3
Project ID: info:eu-repo/grantAgreement/EC/FP7/610582/EU
Type: Artículo

This item appears in the following Collection(s)

Show full item record