PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
Tesi doctoral
-
Programación declarativa con restricciones sobre tipos de datos algebraicos 1999
Universidad Complutense de Madrid
Tesis dirigides (1)
-
De programas abstractos a cotas asintóticas precisas en forma cerrada 2014
Universidad Complutense de Madrid
Alonso Blas, Diego Esteban
Tribunals de tesi (4)
-
Secretària 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
-
Secretària del tribunal
Técnicas de detección y diagnosis de errores en consultas de bases de datos 2014Universidad Complutense de Madrid
-
Secretària 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
-
Secretària del tribunal
Transformación y análisis de código de bytes orientado a objetos 2009Universidad Complutense de Madrid