- -

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

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

Compartir/Enviar a

Citas

Estadísticas

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

Mostrar el registro completo del ítem

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. doi:10.4995/Thesis/10251/17655.

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

Ficheros en el ítem

Metadatos del ítem

Título: Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones
Autor:
Director(es): Vidal Oriola, Germán Francisco Ramos Díaz, J Guadalupe
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha acto/lectura:
2012-10-25
Fecha difusión:
Resumen:
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) ...[+]
Palabras clave: 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
Derechos de uso: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/17655
Tipo: Tesis doctoral

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

Mostrar el registro completo del ítem