MANUEL
MONTENEGRO MONTES
Profesor ayudante doctor
Doktorego-tesia
-
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
Zuzendutako tesiak (1)
-
Análisis estático de tipos para lenguajes de tipado dinámico 2022
Universidad Complutense de Madrid
Tesi epaimahaiak (1)
-
Epaimahaiko Secretario
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs 2022Universidad Complutense de Madrid