- -

OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING

Show full item record

Arroyo Delgado, G. (2008). OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING. http://hdl.handle.net/10251/12622.

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

Files in this item

Item Metadata

Title: OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING
Author:
Director(s): Vidal Oriola, Germán Francisco
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2008-01
Issued date:
Abstract:
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 ...[+]
Subjects: Evaluación parcial offline , Programas lógico funcionales , Narrowing , Offline partial evaluation , Functional logic programs
Copyrigths: Reserva de todos los derechos
degree: Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes d'Informació
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record