- -

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

  • Estadisticas de Uso

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]. 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

Ficheros en el ítem

Metadatos del ítem

Título: Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones
Autor: Arroyo Delgado, Gustavo
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
Editorial:
Universitat Politècnica de València
Tipo: Tesis doctoral

recommendations

 

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

Mostrar el registro completo del ítem