Complutense University Library

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

Montenegro Montes, Manuel (2007) Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria. Tesis Master's thesis.

[img]
Preview
PDF
1MB
View download statistics for this eprint

==>>> Export to other formats

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:Thesis (Master's thesis)
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:
DirectorsDirector email
Peña Marí, RicardoUNSPECIFIED
Segura Díaz, Clara MaríaUNSPECIFIED
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:06 Feb 2014 08:37

Repository Staff Only: item control page