|
Título:
|
Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria
|
|
Autores:
|
Montenegro Montes, Manuel
|
|
Tipo de documento:
|
texto impreso
|
|
Fecha de publicación:
|
2007
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
cc_by_nc
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = No publicado
,
Materia = Ciencias: Informática: Lenguajes de programación
,
Tipo = Trabajo Fin de Máster
|
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/10083/1/ProyectoSafe.pdf
|
