Tesis doctoral de Segura Diaz Clara M.
Las tecnicas de analisis de programas se han demostrado útiles en todo tipo de lenguajes de programación para determinar de forma estática aproximaciones a las propiedades dinámicas de los programas. Sus aplicaciones incluyen la optimización y transformación de los programas, asi como la demostración o verificacion de propiedades de los mismos. El desarrollo y la aplicación de las tecnicas de análisis a los lenguajes funcionales ha sido muy amplio en estas dos ultimas décadas. Esta tesis se enmarca en el área de análisis estáticos de programas aplicados a los lenguajes funcionales paralelos. la programación funcional paralela es un área de investigación intensa en la actualidad que proporciona nuevos problemas en el campo de los analisis de programas, pero es aun un area poco trabajada donde queda mucho por hacer. En esta tesis se definen tres análisis aplicados al lenguaje funcional paralelo eden: -analisis de conexión directa: tiene como objetivo optimizar los programas eden reduciedo sobrecargas debidas a la creación de procesos y a la comunicación entre ellos. -analisis de no determinismo: pretende delimitar aquellas partes de los programas edén donde es posible mantener el razonamiento ecuacional caracteristico de los lenguajes funcionales. -analisis de terminación y productividad: es un sistema de demostración de propiedades de terminacion y productividad de los programas edén que garantiza la ausencia de bloqueos en ellos. para definir estos análisis se han utilizado algunas de las tecnicas usadas en el análisis de los lenguajes funcionales: la interpretación abstracta y los sistemas de tipos anotados.
Datos académicos de la tesis doctoral «Analisis de programas en lenguajes funcionales paralelos«
- Título de la tesis: Analisis de programas en lenguajes funcionales paralelos
- Autor: Segura Diaz Clara M.
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 26/11/2001
Dirección y tribunal
- Director de la tesis
- Ricardo Peña Mari
- Tribunal
- Presidente del tribunal: De frutos escrig david
- rita Loogen (vocal)
- salvador Lucas alba (vocal)
- hans-wolfgang Loidl (vocal)
