TY  - THES
AU  - Montenegro Montes, Manuel
A3  - Peña Marí, Ricardo
A3  - Segura Díaz, Clara María
PY  - 2012
UR  - https://hdl.handle.net/20.500.14352/48147
AB  - La mayoría de lenguajes funcionales abstraen al programador del manejo de la memoria. Suelen disponer de un recolector de basura encargado de determinar, en tiempo de ejecución, qué partes de memoria ya no se necesitan y pueden ser liberadas. La...
LA  - eng
PB  - Universidad Complutense de Madrid
KW  - Memorias
KW  - Lenguajes funcionales
KW  - Safe
KW  - Memory
KW  - Functional languages
TI  - Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura
M3  - doctoral thesis
ER  -