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