MANUEL
MONTENEGRO MONTES
Profesor ayudante doctor
Dissertation
-
Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura 2011
Universidad Complutense de Madrid
Dissertationen geleitet (1)
-
Análisis estático de tipos para lenguajes de tipado dinámico 2022
Universidad Complutense de Madrid
Gerichte für Dissertationen (1)
-
Sekretär des Gerichts
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs 2022Universidad Complutense de Madrid