Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica

• Autores: Manuel Carro Liñares
• Directores de la Tesis: Manuel de Hermenegildo Salinas (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 2001
• Idioma: español
• Tribunal Calificador de la Tesis: Ana M. García Serrano (presid.) , Juan José Moreno Navarro (secret.) , Jaume Agustí i Cullell (voc.) , Lourdes Araujo (voc.) , Enrico Pontelli (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.