Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

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

Simple item page
dc.contributor.advisorPeña Marí, Ricardo
dc.contributor.advisorSegura Díaz, Clara María
dc.contributor.authorMontenegro Montes, Manuel
dc.date.accessioned2023-06-20T14:26:49Z
dc.date.available2023-06-20T14:26:49Z
dc.date.issued2007
dc.descriptionMaster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y computación, curso 2006-2007
dc.description.abstractEn 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.
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statusunpub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/10083
dc.identifier.urihttps://hdl.handle.net/20.500.14352/54506
dc.language.isospa
dc.page.total150
dc.rightsAtribución-NoComercial 3.0 España
dc.rights.accessRightsopen access
dc.rights.urihttps://creativecommons.org/licenses/by-nc/3.0/es/
dc.subject.cdu004.432.42(043.3)
dc.subject.keywordProgramación funcional
dc.subject.keywordModelo declarativo de programación
dc.subject.keywordAlgoritmo de inferencia
dc.subject.keywordLenguaje funcional
dc.subject.keywordSAFE
dc.subject.keywordInferencias Hindley-Milner
dc.subject.ucmLenguajes de programación
dc.subject.unesco1203.23 Lenguajes de Programación
dc.titleInferencia de tipos seguros en un lenguaje funcional con destrucción explícita de memoria
dc.typemaster thesis
dspace.entity.typePublication
relation.isAdvisorOfPublicationb7547876-744e-4e9b-b551-c0dfab2a2d83
relation.isAdvisorOfPublication.latestForDiscoveryb7547876-744e-4e9b-b551-c0dfab2a2d83
relation.isAuthorOfPublicationdc391c7e-9682-4142-a1de-7d649b26bf3d
relation.isAuthorOfPublication.latestForDiscoverydc391c7e-9682-4142-a1de-7d649b26bf3d

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
ProyectoSafe.pdf
Size:
1.37 MB
Format:
Adobe Portable Document Format
downoload Download

Collections

Trabajos Fin de Master (TFM)