english Icono del idioma   español Icono del idioma  

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12008/47485 How to cite
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorViera, Marcos-
dc.contributor.advisorPardo, Alberto-
dc.contributor.authorLeón Arias, Felipe de-
dc.date.accessioned2024-12-11T17:11:54Z-
dc.date.available2024-12-11T17:11:54Z-
dc.date.issued2024-
dc.identifier.citationLeón Arias, F. de. Estudio del lenguaje LiquidHaskell [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2024.es
dc.identifier.urihttps://hdl.handle.net/20.500.12008/47485-
dc.description.abstractEn 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.es
dc.format.extent82 p.es
dc.format.mimetypeapplication/pdfes
dc.language.isoeses
dc.rightsLas obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad de la República.(Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)es
dc.rights.uriAn error occurred getting the license - uri.*
dc.rights.uriAn error occurred getting the license - uri.*
dc.subject.otherLENGUAJES DE PROGRAMACIÓNes
dc.titleEstudio del lenguaje LiquidHaskell.es
dc.typeTesis de gradoes
dc.contributor.filiacionLeón Arias Felipe de, Universidad de la República (Uruguay). Facultad de Ingeniería.-
thesis.degree.grantorUniversidad de la República (Uruguay). Facultad de Ingeniería.es
thesis.degree.nameIngeniero en Computación.es
dc.rights.licenceLicencia Creative Commons Atribución (CC - By 4.0)es
Appears in Collections:Tesis de grado - Instituto de Computación

Files in This Item:
File Description SizeFormat  
Del24.pdfTesis de grado 443,14 kBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons