Reglas y estrategias de transformación para programas lógico-funcionales

• Autores: Ginés Damián Moreno Valverde
• Directores de la Tesis: María Alpuente Frasnedo (dir. tes.) , Germán Vidal Oriola (dir. tes.)
• Lectura: En la Universitat Politècnica de València ( España ) en 2000
• Idioma: español
• Tribunal Calificador de la Tesis: Isidro Ramos Salavert (presid.) , Salvador Lucas Alba (secret.) , Mario Rodríguez Artalejo (voc.) , Moreno Flaschi (voc.) , Ricardo Peña Marí (voc.)
• Enlaces
  • Tesis en acceso abierto en: RiuNet
• Resumen

  • 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