BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20210101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20220818T150000
DTEND;TZID=America/Sao_Paulo:20220818T160000
DTSTAMP:20260417T160050
CREATED:20220812T182735Z
LAST-MODIFIED:20220812T182735Z
UID:7732-1660834800-1660838400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Enzo Cioppettini
DESCRIPTION:Título: Verificación estática de contratos para tipos de sesión en Haskell\nDirector: Hernán Melgratti\nJurados: Fernando Asteasuain\, Carlos Gustavo Lopez Pombo. \nResumen:\nEl lenguaje de programación Haskell cuenta con diversas\nimplementaciones de tipos de sesiones binarias. En este trabajo estudiamos la\nviabilidad de integrarlas con LiquidHaskell\, una herramienta de verificación\nestática que extiende el lenguaje con tipos refinados. Si bien la estructura\nrecursiva de las sesiones se puede codificar fácilmente mediante tipos\nparamétricos\, garantizar tanto la dualidad como el uso linear de los canales\nrequiere de extensiones del lenguaje de mayor complejidad. Nosotros partimos de\nimplementaciones existentes\, y que utilizan distintas extensiones y mecanismos.\nA partir de estas\, en la medida en la que son compatibles con LiquidHaskell\, \nexploramos la clase de contratos sobre la comunicación que se pueden escribir y\nverificar. Para esto utilizamos dos técnicas: una simple de integrar\, pero que\nsolo permite escribir contratos sobre cada mensaje\, es decir\, sin tener en\ncuenta los valores anteriormente intercambiados; y que permite expresar\npropiedades más ricas\, incluyendo dependencias con los mensajes previos\, pero\ncuya integración es más compleja.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-enzo-cioppettini/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR