Formalizando el proceso de depuración en programación funcional paralela y perezosa
- Autores: Alberto de la Encina Vara
- Directores de la Tesis: L. F. Llana (dir. tes.)
, Fernando Rubio Díez (dir. tes.) - Lectura: En la Universidad Complutense de Madrid ( España ) en 2008
- Idioma: español
- Tribunal Calificador de la Tesis: Ricardo Peña Marí (presid.) , Manuel Núñez García (secret.) , Rita Loogen (voc.) , Jesús Manuel Almendros Jiménez (voc.) , José Emilio Labra Gayo (voc.)
- Enlaces
- Tesis en acceso abierto en: Docta Complutense
- 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.
