Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/20.500.12008/47485

Título:

Estudio del lenguaje LiquidHaskell.

Otros títulos:

Coordinador:

Director:

Compilador:

Autor:

León Arias, Felipe de

Tutor:

Viera, Marcos
Pardo, Alberto

Tipo de documento:

Tesis de grado

Editor:

Palabras clave:

Descriptores:

LENGUAJES DE PROGRAMACIÓN

Año de publicación:

2024

Contenido:

Resumen:

En este proyecto realizamos un estudio del lenguaje LiquidHaskell, una extensión de Haskell que permite agregar lógica de predicados a las funciones y tipos a través de un SMT-Solver. Inicialmente, realizaremos una breve introducción para luego estudiar tres casos de uso de el mismo. En el desarrollo de estos, podremos ver las diferentes formas de utilizar el lenguaje, así como sus fortalezas y debilidades.

Descripción:

Editorial:

EN:

Financiadores:

Citación:

León Arias, F. de. Estudio del lenguaje LiquidHaskell [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2024.

Citación:

metadata.cc.license.name:

Documento del Gobiberno:

URI:

https://hdl.handle.net/20.500.12008/47485

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 (CC - By 4.0)

Cobertura geográfica:

Cobertura temporal:

metadata.dc.relation.IsVersionOf:

Clasificación:

Es versión de:

Colecciones:

Tesis de grado
FicherosDescripciónTamañoFormato
Del24.pdf Tesis de grado 443.14 KB Adobe PDF
Mostrar el registro Dublin Core completo del ítem

Licencia Creative Commons:

Licencia Creative Commons Atribución (CC - By 4.0)
Excepto donde se indique lo contrario, la licencia de este ítem se describe como Licencia Creative Commons Atribución (CC - By 4.0)