|
Título:
|
A Transformational Approach to Resource Analysis with Typed-Norms
|
|
Autores:
|
Albert Albiol, Elvira ;
Genaim, Samir ;
Gutiérrez, Raúl
|
|
Tipo de documento:
|
texto impreso
|
|
Fecha de publicación:
|
2014-12
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Informática
,
Materia = Ciencias: Informática: Software
,
Tipo = Ponencia o Póster de Seminario
,
Congreso
,
etc
|
|
Resumen:
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/36996/1/A%20transformational%20approach.pdf
|
