ánalisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura

Tesis doctoral de Manuel Montenegro Montes   Datos académicos de la tesis doctoral «ánalisis de propiedades de seguridad y consumo […]

,