Tesis doctoral de German Vidal Oriola
El problema de la integracion de la programacion logica y funcional esta considerado como uno de los mas importantes en el area de investigacion sobre programacion declarativa. Para que los lenguajes declarativos sean utiles y puedan utilizarse en aplicaciones reales, es necesario que el grado de eficiencia de su ejecucion se aproxime al de los lenguajes imperativos, tal y como se ha conseguido con el lenguaje prolog. Para ello, es imprescindible el desarrollo de herramientas potentes para el analisis y transformacion de los programas, capaces de optimizar las implementaciones existentes. en esta tesis se desarrolla un marco para el analisis estatico de programas logico-funcionales, basado en la idea de construir aproximaciones correctas de la semantica operacional del programa. Formalizamos un esquema de analisis simple, uniforme y flexible, que permite estudiar distintos tipos de propiedades (relacionadas con el conjunto de respuestas computadas por el programa) de manera correcta y facilmente implementable. posteriormente mostramos que, en el contexto de los lengujaes logico-funcionales, la especializacion de programas se puede basar directamente en el mecanismo operacional de «narrowing» que, debido a la propagacion bidireccional de parametros realizada a traves del procedimiento de unificacion, es capaz de producir optimizaciones apreciables esta vision unificada de ejecucion y especializacion nos permite explotar las contribuciones de ambos campos, funcional y logico, y desarrollar un esquema simple y potente para mejorar el programa original respecto a su capacidad para computar respuestas. El esquema presentado en este trabajo constituye la primera aproximacion totalmente automatica, correcta y finita para la evaluacion parcial de programas logico-funcionales.
Datos académicos de la tesis doctoral «Analisis semantico y transformacion de programas logico-funcionales«
- Título de la tesis: Analisis semantico y transformacion de programas logico-funcionales
- Autor: German Vidal Oriola
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- María Alpuente Frasnedo
- Tribunal
- Presidente del tribunal: Isidro Ramos Salavert
- Fernando Orejas Valdés (vocal)
- Moreno Falaschi (vocal)
- Mario Rodríguez Artalejo (vocal)