- -

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 sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: MISMFSI.pdf
Tamaño: 764.1Kb
Formato: PDF
Abrir
dc.contributor.advisor Vidal Oriola, Germán Francisco es_ES
dc.contributor.author Arroyo Delgado, Gustavo es_ES
dc.date.accessioned 2011-11-04T13:29:42Z
dc.date.available 2011-11-04T13:29:42Z
dc.date.created 2008-01
dc.date.issued 2011-11-04
dc.identifier.uri http://hdl.handle.net/10251/12622
dc.description.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 mejorar la precisión del método. Abstract: This work presents a novel scheme for the partial evaluation of functional logic programs that follows the so called offline approach. The main novelty lies in the use of a size-change analysis for improving the precision of the method. es_ES
dc.format.extent 97 es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Evaluación parcial offline es_ES
dc.subject Programas lógico funcionales es_ES
dc.subject Narrowing es_ES
dc.subject Offline partial evaluation es_ES
dc.subject Functional logic programs es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other 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ó es_ES
dc.title OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation Arroyo Delgado, G. (2008). OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING. http://hdl.handle.net/10251/12622 es_ES
dc.description.accrualMethod Archivo delegado es_ES


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

Mostrar el registro sencillo del ítem