Título:
Representación de estructuras de datos con invariantes en Haskell
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
Rodríguez Alvariza, Marco Nicolás
Tutor:
Pardo, Alberto
Viera, Marcos
Viera, Marcos
Tipo de documento:
Tesis de grado
Editor:
Palabras clave:
Descriptores:
Año de publicación:
2022
Contenido:
Resumen:
Las estructuras de datos utilizadas en programación se caracterizan por mantener un conjunto de invariantes. Dependiendo del lenguaje y paradigma de programación utilizados, estos invariantes son verificados en tiempo de ejecución o compilación. En este proyecto de grado se presenta el problema de implementar invariantes de distintas estructuras de datos en el lenguaje Haskell, utilizando las herramientas que el lenguaje provee para programar a nivel de tipos. La verificación de estos invariantes se realiza en tiempo de compilación. Se implementan árboles binarios de búsqueda (BST) y árboles balanceados (AVL). Ambos son implementados siguiendo tres enfoques diferentes, dependiendo de la forma en que se implementan los invariantes. Se realiza una comparación de estos enfoques desde distintos ángulos: desempeño, modularidad del código, etc.
Descripción:
Editorial:
Udelar.FI
EN:
Financiadores:
Citación:
Rodríguez Alvariza, M. Representación de estructuras de datos con invariantes en Haskell [en línea] Tesis de grado. Montevideo : Udelar. FI. INCO, 2022.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
https://hdl.handle.net/20.500.12008/32410
ISBN:
e-ISBN:
ISSN:
ISMN:
Otros identificadores:
Título Obtenido:
Ingeniero en Computación
Facultad o Servicio que otorga el Título:
Universidad de la República (Uruguay). Facultad de Ingeniería
Licencia:
Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| ROD22.pdf | Tesis de grado | 1.53 MB | Adobe PDF |