Biblioteca de la Universidad Complutense de Madrid

Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria

Impacto



Montenegro Montes, Manuel (2007) Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria. [Trabajo Fin de Máster]

[img]
Vista previa
PDF
1MB


Resumen

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.


Tipo de documento:Trabajo Fin de Máster
Información Adicional:

Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y computación, curso 2006-2007

Directores (o tutores):
NombreEmail del director (o tutor)
Peña Marí, Ricardo
Segura Díaz, Clara María
Palabras clave:Programación funcional, Modelo declarativo de programación, Algoritmo de inferencia, Lenguaje funcional, SAFE, Inferencias Hindley-Milner
Materias:Ciencias > Informática > Lenguajes de programación
Código ID:10083
Depositado:15 Feb 2010 15:56
Última Modificación:06 Feb 2014 08:37

Sólo personal del repositorio: página de control del artículo