Tesis doctoral de Manuel Carro Liñares
En esta tesis se estudian medios para solventar algunos de los problemas de la programación lógica y aproximarse en la meta de un lenguaje (o familia de lenguajes) que permitan a un tiempo tener alto rendimiento, gran expresividad, y características avanzadas. en particular se diseñan y evalúan: 1,- mecanismos de mejora de la ejecución paralela de lenguajes lógicos. los experimentos llevados a cabo arrojan una notable mejora para ciertas clases de programas muy comunes en la práctica. Asimismo se evalúa una herramienta destinada a averiguar la eficiencia de dichas ejecuciones paralelas en una serie de condiciones no siempre posibles en la práctica. 2,- una serie de diseños e implementaciones de herramientas de visualización para programas lógicos secuenciales, paralelos y con restricciones. Están fundamentalmente dirigidos a ayudar al programador a detectar la fuente de determinados problemas de eficiencia y/o de corrección de un modo intuitivo, sin tener que conocer en profundidad el funcionamiento interno del sistema con el que se está trabajando. 3,- una propuesta de ejecucción con concurrencia que, sin separarse excesivamente de la ejecución secuencial de prolog, da al programador una libertad suficiente sobre el control de la ejecución.
Datos académicos de la tesis doctoral «Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica«
- Título de la tesis: Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica
- Autor: Manuel Carro Liñares
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 12/11/2001
Dirección y tribunal
- Director de la tesis
- Manuel Hermenegildo Salinas
- Tribunal
- Presidente del tribunal: ana García serrano
- lourdes Araújo serna (vocal)
- jaume Agustí cullell (vocal)
- enrico Pontelli (vocal)