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:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260218T140000
DTEND;TZID=America/Sao_Paulo:20260218T150000
DTSTAMP:20260405T091711
CREATED:20260209T144324Z
LAST-MODIFIED:20260209T144324Z
UID:10468-1771423200-1771426800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Francisco Giordano
DESCRIPTION:Título: Máquinas abstractas para programación lógico-funcional en el cálculo λU\n\n\nDirector: Pablo Barenbaum\nJurado: Brian J. Cardiff y Hernán Melgratti\n\n\nResumen:\nLa programación lógico-funcional promete una forma de expresar programas en un nivel de abstracción muy alto\, pero da lugar a la pregunta de cómo ejecutar tales programas a bajo nivel\, y de qué grado de eficiencia puede lograrse. En este trabajo abordamos estas preguntas desde la perspectiva de las máquinas abstractas. Partiendo de una formalización previa de la programación lógico-funcional como lenguaje fuente\, construimos un par de máquinas abstractas que pueden servir como base para una implementación. Proponemos una máquina inicial y mostramos su correctitud con respecto al cálculo. Discutimos el desiderátum de evaluación compartida entre ramas no determinísticas\, y proponemos un diseño alternativo que lo resuelve y que implementamos como prueba de concepto.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-francisco-giordano/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR