PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
Tesis doctoral
-
Programación declarativa con restricciones sobre tipos de datos algebraicos 1999
Universidad Complutense de Madrid
Tesis dirigidas (1)
-
De programas abstractos a cotas asintóticas precisas en forma cerrada 2014
Universidad Complutense de Madrid
Alonso Blas, Diego Esteban
Tribunales de tesis (4)
-
Secretaria del tribunal
Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información 2015Universidad Complutense de Madrid
García de Dios, Miguel Ángel
-
Secretaria del tribunal
Técnicas de detección y diagnosis de errores en consultas de bases de datos 2014Universidad Complutense de Madrid
-
Secretaria del tribunal
Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa 2009Universidad Complutense de Madrid
-
Secretaria del tribunal
Transformación y análisis de código de bytes orientado a objetos 2009Universidad Complutense de Madrid