PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
Thesis
-
Programación declarativa con restricciones sobre tipos de datos algebraicos 1999
Universidad Complutense de Madrid
Supervised Theses (1)
-
De programas abstractos a cotas asintóticas precisas en forma cerrada 2014
Universidad Complutense de Madrid
Alonso Blas, Diego Esteban
Theses Committees (4)
-
Secretary of the Committee
Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información 2015Universidad Complutense de Madrid
García de Dios, Miguel Ángel
-
Secretary of the Committee
Técnicas de detección y diagnosis de errores en consultas de bases de datos 2014Universidad Complutense de Madrid
-
Secretary of the Committee
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
-
Secretary of the Committee
Transformación y análisis de código de bytes orientado a objetos 2009Universidad Complutense de Madrid