Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

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

Arroyo Delgado, Gustavo (Universitat Politècnica de València, 2012-10-30)

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) ...
OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING

Arroyo Delgado, Gustavo (Universitat Politècnica de València, 2011-11-04)

Este trabajo presenta un nuevo esquema para la evaluación parcial de programas lógico funcionales siguiendo el esquema conocido como "offline". La principal novedad se basa en el uso de un análisis de cambio de tamaño para ...
Una aproximación offline a la evaluación parcial dirigida por narrowing

Ramos Díaz, J. Guadalupe (Universitat Politècnica de València, 2008-05-06)

La evaluación parcial dirigida por narrowing (NPE: Narrowing-driven Partial Evaluation) es una técnica potente para la especialización de sistemas de reescritura, i.e., para el componente de primer orden de muchos lenguajes ...

Mostrando ítems 1-3 de 3