Tesis doctorales, proyectos y otras publicaciones, una base fundamental
en la ampliación y desarrollo de los conocimientos científicos.

Documentos
disponibles
Artículos (1584)
Libros (343)
Monografías (118)
Otros (129)
Ponencias (1310)
Proyectos (559)
Tesis (9260)

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



Título de la tesis:
Inferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria
Autor/es:
Montenegro Montes, Manuel
Tipo de documento:
Trabajo
Universidad:
Departamento:
Departamento
Idioma:
Castellano
Palabras clave:
Programación funcional, Modelo declarativo de programación, Algoritmo de inferencia, Lenguaje funcional, SAFE, Inferencias Hindley-Milner
Fecha de la defensa:
2010-02-15 15:56:07
Notas:
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. ...
Valoración:


Danos tu valoración:
1 2 3 4 5 6 7 8 9 10




Tesis y otros documentos relacionados

Añade un enlace nuestro
en tu blog, sitio web o foro



Tesis Doctorales, Proyectos de fin de carrera, Monografías, Artículos, Ponencias y otros documentos y recursos educativos.
© Tesisde.org 2010 - Terminos y Condiciones | Contáctenos

eXTReMe Tracker