Formalizando el proceso de depuración en programación funcional paralela y perezosa
- L. F. Llana Director
- Fernando Rubio Díez Director
Universidad de defensa: Universidad Complutense de Madrid
Fecha de defensa: 19 de junio de 2008
- Ricardo Peña Marí Presidente
- Manuel Núñez García Secretario
- José Emilio Labra Gayo Vocal
- Rita Loogen Vocal
- Jesús Manuel Almendros Jiménez Vocal
Tipo: Tesis
Resumen
Un aspecto poco tratado hasta hace relativamente poco tiempo en el área de la programación funcional perezosa ha sido el desarrollo de herramientas de depuración. La falta de atención a este aspecto tan relevante de los lenguajes funcionales perezosos se ha venido resolviendo en buena parte durante la última década. En este sentido, esta tesis aporta un interesante paso adicional desarrollando modelos formales para depuradores funcionales perezosos. Ahora bien, la principal novedad de la tesis se centra en la depuración de programas funcionales paralelos. De hecho, durante estos años la programación funcional paralela ha quedado al margen de los avances en el ámbito de la depuración. La presente tesis presenta el primer depurador que funciona con diversas extensiones paralelas del lenguaje funcional perezoso Haskell. Además, incluye una implementación de dicha herramienta, y un estudio semántico detallado sobre la misma.