- -

OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Thumbnail
Nombre: MISMFSI.pdf
Tamaño: 764.1Kb
Formato: PDF
Abrir/Preview

Metadatos del ítem

Título: OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING
Autor: Arroyo Delgado, Gustavo
Director(es): Vidal Oriola, Germán Francisco
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2008-01
 Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: Evaluación parcial offline , Programas lógico funcionales , Narrowing , Offline partial evaluation , Functional logic programs
Derechos de uso: Reserva de todos los derechos
Editorial:
Universitat Politècnica de València
Titulación: 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ó
Tipo: Tesis de máster

recommendations

 

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

Mostrar el registro completo del ítem