Aviso: por motivos de mantenimiento y mejora del repositorio, mañana martes día 13 de mayo, entre las 9 y las 14 horas, Docta Complutense, no funcionará con normalidad. Disculpen las molestias.
 

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

Loading...
Thumbnail Image

Official URL

Full text at PDC

Publication date

2007

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar

Citation

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.

Research Projects

Organizational Units

Journal Issue

Description

Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y computación, curso 2006-2007

Keywords