Tesis doctoral de María Del Mar Gallardo Melgarejo
En la memoria se muestran distintas aplicaciones de la tecnica de interpretación abstracta para el análisis estático de los lenguajes lógicos concurrentes. El objetivo fundamental de los análisis es deducir información sobre la granularidad de los programas lógicos concurrentes para que sea posible realizar ejecuciones paralelas eficientes de estos programas, incluso sobre sistemas débilmente acoplados. con esta idea se han desarrollado tres análisis: de modo, de tipo y de las relaciones de tamaño cuya corrección se ha probado utilizando técnicas propias del método abstracto. De forma complementaria, a partir del método inductivo utilizado para demostrar la terminación del análisis de las relaciones de tamaño, se ha estudiado la relación entre las técnicas de verificación de programas e interpretación abstracta. Asímismo, el análisis de tipo se ha utilizado para analizar de forma estática el bloque en los lenguajes lógicos concurrentes.
Datos académicos de la tesis doctoral «Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta.«
- Título de la tesis: Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta.
- Autor: María Del Mar Gallardo Melgarejo
- Universidad: Málaga
- Fecha de lectura de la tesis: 01/01/1998
Dirección y tribunal
- Director de la tesis
- José María Troya Linero
- Tribunal
- Presidente del tribunal: Emilio Lopez Zapata
- Juan José Moreno Navarro (vocal)
- Manuel Hermenegildo Salinas (vocal)
- Ruz Ortiz José Jaime (vocal)