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

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

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) e intenta llevar a cabo todas las computaciones que sean posibles a partir...

Full description

Bibliographic Details
Main Author: Arroyo Delgado, Gustavo
Other Authors: Vidal Oriola, Germán Francisco
Format: Doctoral Thesis
Language:Spanish
Published: Universitat Politècnica de València 2012
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
LENGUAJES Y SISTEMAS INFORMATICOS
Online Access:http://hdl.handle.net/10251/17655

Internet

http://hdl.handle.net/10251/17655

Similar Items