Montenegro Montes, Manuel (2007) Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria. Tesis Master's thesis.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 1407Kb |
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: |
| ||||||
| 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 16:56 | ||||||
| Last Modified: | 15 Feb 2010 16:56 |
Repository Staff Only: item control page
