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
Download Download

Collections

Trabajos Fin de Master (TFM)