Tesis doctoral de Francisco Bueno Carrillo
La tesis propone transformaciones de programas logicos que tienen por objetivo su optimizacion mediante la explotacion del paralelismo en su ejecucion. Se estudia el metodo consistente en aunar el analisis y la transformacion de los programas, y se emplean como principio optimizador distintas nociones de independencia. La tesis comienza con el estudio, primero metodologico y luego experimental, de algoritmos de transformacion previamente propuestos, para la paralelizacion a nivel de meta. El estudio identifica y propone posibles extensiones a los algoritmos, asi como otros nuevos, comparandolos mediante una serie de pruebas experimentales. A continuacion se discute la aplicabilidad del metodo a formas mas evolucionadas de la programacion logica, cuales son la programacion logica concurrente, con restricciones, y concurrente con restricciones. En primer lugar, se presenta un esquema de transformacion de programas prolog a programas akl, el cual incorpora tecnicas que permiten explotar el paralelismo (basado en independencia) de forma completa en el lenguaje destino. En una segunda parte de la tesis, se desarrolla una semantica formal capaz de expresar el significado operacional de practicamente toda la familia de los lenguajes logicos. Esta semantica permite captar el concepto de independencia a niveles de granularidad mucho mas finos que el clasico nivel de meta, lo cual da pie a identificar posibles optimizaciones aplicables a los programas logicos, de uno y otro tipo, a niveles completamente nuevos en el computo. Para sacar partido de tales optimizaciones, se definen esquemas de transformacion a un lenguaje destino «kernel» que hacen posible la explotacion de las mismas.
Datos académicos de la tesis doctoral «Tecnicas de transformacion de programas logicos para su optimizacion y paralelizacion automatica«
- Título de la tesis: Tecnicas de transformacion de programas logicos para su optimizacion y paralelizacion automatica
- Autor: Francisco Bueno Carrillo
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1995
Dirección y tribunal
- Director de la tesis
- Manuel Hermenegildo Salinas
- Tribunal
- Presidente del tribunal: Jose Cuena Bartolome
- Francesca Rossi (vocal)
- K. Debray Saumya (vocal)
- Juan José Moreno Navarro (vocal)