Formalizando el proceso de depuración en programación funcional paralela y perezosa

Résumé

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.