Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/47485
Cómo citar
| Título: | Estudio del lenguaje LiquidHaskell. |
| Autor: | León Arias, Felipe de |
| Tutor: | Viera, Marcos Pardo, Alberto |
| Tipo: | Tesis de grado |
| Descriptores: | LENGUAJES DE PROGRAMACIÓN |
| Fecha de publicación: | 2024 |
| 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. |
| Citación: | León Arias, F. de. Estudio del lenguaje LiquidHaskell [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2024. |
| 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) |
| Aparece en las colecciones: | Tesis de grado - Instituto de Computación |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| Del24.pdf | Tesis de grado | 443,14 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
