Impacto
Downloads
Downloads per month over past year
Montenegro Montes, Manuel (2007) Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria. [Trabajo Fin de Máster]
![]() Preview |
PDF
Creative Commons Attribution Non-commercial. 1MB |
Abstract
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.
Item Type: | Trabajo Fin de Máster |
---|---|
Additional Information: | Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y computación, curso 2006-2007 |
Directors: | Directors Peña Marí, Ricardo Segura Díaz, Clara María |
Uncontrolled Keywords: | Programación funcional, Modelo declarativo de programación, Algoritmo de inferencia, Lenguaje funcional, SAFE, Inferencias Hindley-Milner |
Subjects: | Sciences > Computer science > Programming languages (Electronic computers) |
ID Code: | 10083 |
Deposited On: | 15 Feb 2010 15:56 |
Last Modified: | 23 Mar 2020 13:05 |
Origin of downloads
Repository Staff Only: item control page