RT Generic
T1 Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria
A1 Montenegro Montes, Manuel
AB En 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.
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/54506
UL https://hdl.handle.net/20.500.14352/54506
LA spa
NO Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas  Informáticos y computación, curso 2006-2007
DS Docta Complutense
RD 6 abr 2025