Tesis doctoral de Jordi Tubella Murgadas
La tesis doctoral define el sistema multipath, que esta orientado a la ejecucion de programas escritos en lenguaje prolog. El diseño de multipath se ha realizado teniendo como principal punto de mira incrementar la eficacia en la ejecucion de aquellos programas que poseen un cierto grado de indeterminismo. las aportaciones mas relevantes consisten en la definicion e implementacion de una estrategia de recorrido del arbol de busqueda asociado al programa, que se denomina exploracion parcial en anchura a nivel de objetivos, y en la realizacion de tecnicas de reduccion del arbol de busqueda. Ambas aportaciones se basan en un analisis global de determinismo y de tipos de datos del programa. multipath se describe utilizando un enfoque vertical, con dos niveles semanticos adicionales antes de pasar a la realizacion concreta del sistema. Estos niveles se denominan modelo de ejecucion y modelo arquitectonico de multipath. la implementacion final de multipath se ha realizado en una plataforma hardware secuencial y en otra paralela. La conclusion mas importante es la demostracion que una exploracion en anchura es mas eficiente que la exploracion en profundidad realizada por los sistemas convencionales tambien orientados a la ejecucion de prolog.
Datos académicos de la tesis doctoral «Multipath: un sistema para la programacion logica.«
- Título de la tesis: Multipath: un sistema para la programacion logica.
- Autor: Jordi Tubella Murgadas
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1997
Dirección y tribunal
- Director de la tesis
- Antonio Gonzalez Colas
- Tribunal
- Presidente del tribunal: Jesús José Labarta Mancho
- Ruz Ortiz José J. (vocal)
- Juan José Moreno Navarro (vocal)
- Peter Kacsuk (vocal)