Tesis doctoral de Gines Damian Moreno Valverde
El problema de la integración de la programación lógica y funcional esta considerado como uno de los más importantes en el área de investigación sobre programación declarativa. Para que los lenguajes declarativos sean utiles y puedan utilizarse en aplicaciones reales, es necesario que el grado de eficiencia de su ejecucción se aproxime al de los lenguajes imperativos. para ello, es imprescindible el desarrollo de herramientas potentes para el analísis y trasnformación de los programas, capaces de otpimizar las implementaciones existentes. esta tesis se centra en el desarrollo de tales técnicas, adoptandose la aproximación conocida como «reglas + estrategias» para la optimización de programas en un contexto lógico-funcional unificado. Las reglas básicas que se usan son el plegado y el desplegado que aquí se definen en términos del narrowing y sus refinamientos. Gracias a la propagación bidireccional de parámetros realizadas por el mecanismo de unificacion del narrowing, se obtienen optimizaciones apreciables y es posible explotar la sinergia existentes entre la síntaxis funcional (anidamientos funcionales, evaluaciones perezosas, etc.) Y el uso de variables lógicas. Esta visión unificada de ejecución y transformación de programas nos permite explotar los resultados conocidos en ambos campos, funcional y lógico, y desarrollar un esquema simple y potente para mejorar un programa con respecto a su capacidad para computar tanto valores a funciones como respuestas a ojetivos.Presentamos algunas aplicaciones de las reglas de plegado y desplegado (semánticas formales por deplegado y relaciones con las técnicas de evaluación paracial). además, mostramos que su combinación con otras reglas para la introducción y eliminación de definiciones y reglas de abstracción permite obtener programas eficientes cuando son dirigidas pro estratégias adecuadas como son la composición o la formación de tuplas.El esquema presenta
Datos académicos de la tesis doctoral «Reglas y estrategias de trasnformación para programas logico-funcionales.«
- Título de la tesis: Reglas y estrategias de trasnformación para programas logico-funcionales.
- Autor: Gines Damian Moreno Valverde
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 05/05/2000
Dirección y tribunal
- Director de la tesis
- María Alpuente Frasnedo
- Tribunal
- Presidente del tribunal: isidro Ramos salavert
- moreno Flaschi (vocal)
- mario Rodríguez artalejo (vocal)
- ricardo Peña mari (vocal)