- -

Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones

Show full item record

Arroyo Delgado, G. (2012). Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17655

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

Files in this item

Item Metadata

Title: Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones
Author: Arroyo Delgado, Gustavo
Director(s): Vidal Oriola, Germán Francisco Ramos Díaz, J Guadalupe
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
2012-10-25
Issued date:
Abstract:
La evaluación parcial (EP) de programas es una técnica formal para la especialización y optimización de programas. Un evaluador parcial toma un programa y sólo una parte de sus datos de entrada (los llamados datos estáticos) ...[+]
Subjects: Evaluación parcial offline , Grafos size-change , Evaluación parcial terminante , Binding time analysis , Narrowing , Defunctionalization , Especialización de programas , Especialización de intérpretes , Compilación
Copyrigths: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/17655
Publisher:
Universitat Politècnica de València
Type: Tesis doctoral

This item appears in the following Collection(s)

Show full item record