Registro:
| Documento: | Tesis de Grado |
| Título: | Verificación estática de contratos sobre tipos de sesión en Haskell |
| Autor: | Cioppettini, Enzo Samue |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2022 |
| Fecha en portada: | 2022 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Melgratti, Hernán Claudio |
| Jurado: | Asteasuain, Fernando; López Pombo, Carlos Gustavo |
| Idioma: | Español |
| Palabras clave: | TIPOS DE SESION; TIPOS REFINADOS; HASKELL; SISTEMAS DE EFECTOS; VERIFICACION ESTATICA; CONCURRENCIA |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000553_Cioppettini |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000553_Cioppettini.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000553_Cioppettini |
| Ubicación: | Dep.COM 000553 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Cioppettini, Enzo Samue. (2022). Verificación estática de contratos sobre tipos de sesión en Haskell. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000553_Cioppettini |
Resumen:
El lenguaje de programación Haskell cuenta con diversas implementaciones de tipos de sesiones binarias. En este trabajo estudiamos la viabilidad de integrarlas con LiquidHaskell, una herramienta de verificación estática que extiende el lenguaje con tipos refinados. Si bien la estructura recursiva de las sesiones se puede codificar fácilmente mediante tipos paramétricos, garantizar tanto la dualidad como el uso linear de los canales requiere de extensiones del lenguaje de mayor complejidad. Nosotros partimos de implementaciones existentes, y que utilizan distintas extensiones y mecanismos. A partir de estas, en la medida en la que son compatibles con LiquidHaskell, exploramos la clase de contratos sobre la comunicación que se pueden escribir y verificar. Para esto utilizamos dos técnicas: una simple de integrar, pero que solo permite escribir contratos sobre cada mensaje, es decir, sin tener en cuenta los valores anteriormente intercambiados; y que permite expresar propiedades más ricas, incluyendo dependencias con los mensajes previos, pero cuya integración es más compleja.
Citación:
---------- APA ----------
Cioppettini, Enzo Samue. (2022). Verificación estática de contratos sobre tipos de sesión en Haskell. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000553_Cioppettini
---------- CHICAGO ----------
Cioppettini, Enzo Samue. "Verificación estática de contratos sobre tipos de sesión en Haskell". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2022.https://hdl.handle.net/20.500.12110/seminario_nCOM000553_Cioppettini
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000553_Cioppettini.pdf
Distrubución geográfica
