%0 Thesis
%A Montenegro Montes, Manuel
%T Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria
%D 2007
%U https://hdl.handle.net/20.500.14352/54506
%X 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.
%~