Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria
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 f...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Fecha de publicación: | 2007 |
| País: | España |
| Institución: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | español |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/54506 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/54506 |
| Access Level: | acceso abierto |
| Palabra clave: | 004.432.42(043.3) Programación funcional Modelo declarativo de programación Algoritmo de inferencia Lenguaje funcional SAFE Inferencias Hindley-Milner Lenguajes de programación 1203.23 Lenguajes de Programación |
| Sumario: | 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. |
|---|