Tesis doctoral de Alberto De La Encina Vara
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 tran relevante de los lenguajes funcionales perezos os se ha venido resolviendo en buena parte durante la última decada. 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 funci ona 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.
Datos académicos de la tesis doctoral «Formalizando el proceso de depuración en programación funcional paralela y perezosa.«
- Título de la tesis: Formalizando el proceso de depuración en programación funcional paralela y perezosa.
- Autor: Alberto De La Encina Vara
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 19/06/2008
Dirección y tribunal
- Director de la tesis
- Luis Fernando Llana Díaz
- Tribunal
- Presidente del tribunal: ricardo Peña marí
- José Emilio Labra gayo (vocal)
- rita Loogen (vocal)
- Jesús Almendros jimenez (vocal)