- -

OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

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

Thumbnail
Name: MISMFSI.pdf
Size: 764.1Kb
Format: PDF
Open/Preview

Item Metadata

Title: OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING
Author: Arroyo Delgado, Gustavo
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
Publisher:
Universitat Politècnica de València
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

recommendations

 

This item appears in the following Collection(s)

Show full item record