Formalizando el proceso de depuración en programación funcional paralela y perezosa
- L. F. Llana Director
- Fernando Rubio Díez Director
Defence university: Universidad Complutense de Madrid
Fecha de defensa: 19 June 2008
- Ricardo Peña Marí Chair
- Manuel Núñez García Secretary
- José Emilio Labra Gayo Committee member
- Rita Loogen Committee member
- Jesús Manuel Almendros Jiménez Committee member
Type: Thesis
Abstract
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.