- -

A Transformational Approach to Resource Analysis with Typed-Norms

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

A Transformational Approach to Resource Analysis with Typed-Norms

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: A Transformational Approach to Resource Analysis with Typed-Norms
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
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 ...[+]
Palabras clave: Resource analysis , Type-norms , Complexity
Derechos de uso: Reserva de todos los derechos
Fuente:
Lecture Notes in Computer Science. (issn: 0302-9743 )
DOI: 10.1007/978-3-319-14125-1_3
Editorial:
Springer Verlag (Germany)
Versión del editor: http://dx.doi.org/10.1007/978-3-319-14125-1_3
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem