BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
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:20220810T140000
DTEND;TZID=America/Sao_Paulo:20220810T150000
DTSTAMP:20260417T160127
CREATED:20220801T182004Z
LAST-MODIFIED:20220809T144740Z
UID:7685-1660140000-1660143600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Mariana Milicich
DESCRIPTION:Título: Semántica denotacional para un cálculo-λ relacional\nDirector: Pablo Barenbaum\nJurado: Alejandro Díaz-Caro y Hernán Melgratti \nResumen: \nEn esta tesis trabajamos con el cálculo-λU\, una extensión del\ncálculo-λ que incorpora las características fundamentales de la\nprogramación relacional: alternativa no determinística\,\nsecuenciación explícita\, unificación de primer orden e introducción\nde variables frescas. Proponemos un sistema de tipos y formulamos una\nsemántica denotacional para su fragmento tipado. Por semántica\ndenotacional entendemos a una función [[−]] que dado un programa\ndevuelve su significado o denotación\, es decir\, un elemento de algún\ndominio de interpretación apropiado. El objetivo es demostrar que la\nsemántica cumple con propiedades esperables: por un lado\, probar la\ncorrectitud de la semántica operacional con respecto a la\ndenotacional\, que asegura que dos programas equivalentes de acuerdo\ncon una teoría sintáctica de igualdad deben tener la misma\ndenotación; por otra parte\, la propiedad de completitud de la\nsemántica operacional con respecto a la denotacional\, que asegura que\ndos programas con la misma denotación se pueden probar equivalentes\nen una teoría sintáctica de igualdad. En este trabajo logramos\nformular una semántica denotacional para la cual la semántica\noperacional verifica una forma débil de correctitud. Queda como\ntrabajo futuro proponer una semántica denotacional para la cual la\noperacional sea correcta y completa.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-mariana-milicich/
LOCATION:Aula 1206
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR