Peña Marí, RicardoSegura Díaz, Clara MaríaMontenegro Montes, Manuel2023-06-202023-06-202007https://hdl.handle.net/20.500.14352/54506Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y computación, curso 2006-2007En este trabajo se describirá con detalle el diseño e implementación de un algoritmo de inferencia para un lenguaje funcional con manejo de regiones y destrucción explícita de memoria, llamado SAFE. Este algoritmo permite trabajar de modo seguro con estructuras de datos, ya que a partir del código fuente de un programa escrito en SAFE garantiza que durante la ejecución del mismo no se producirán accesos a zonas de la memoria ya liberadas.spaAtribución-NoComercial 3.0 Españahttps://creativecommons.org/licenses/by-nc/3.0/es/master thesisopen access004.432.42(043.3)Programación funcionalModelo declarativo de programaciónAlgoritmo de inferenciaLenguaje funcionalSAFEInferencias Hindley-MilnerLenguajes de programación1203.23 Lenguajes de Programación