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:20200101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210811T180000
DTEND;TZID=America/Sao_Paulo:20210811T190000
DTSTAMP:20260503T185005
CREATED:20210809T120847Z
LAST-MODIFIED:20210809T120847Z
UID:6875-1628704800-1628708400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ana Felisatti y Mariano De Sousa Bispo
DESCRIPTION:Título: Anotación automática de tipos para colecciones en ambientes dinámicos\nDirectores: Hernán Wilkinson\nJurados: Hernán Melgratti\, Diego Garbervetsky \nResumen:\nLas colecciones son el principal ejemplo de tipos paramétricos o genéricos y son\, a su vez\, utilizadas ampliamente en el desarrollo de software\, dándole una importancia aún mayor a su correcto tipado. Este trabajo presenta una implementación para la anotación automática de tipos sobre dichos objetos\, basada en los tipos añadidos a sus instancias y extendiendo el soporte de LiveTyping.\nLiveTyping es un sistema de anotación automática de tipos con el fin de mejorar la experiencia de desarrollo en ambientes dinámicos\, donde la falta de tipado estático dificulta la implementación de herramientas. Su funcionamiento se basa en la intervención a nivel VM de primitivas de asignación y ejecución de métodos\, puntos donde se inspeccionan y recolectan los tipos observados. Al funcionar sobre un ambiente de desarrollo vivo donde la misma VM se utiliza tanto para ejecutar código como para ejecutar la IDE\, la información recolectada es inmediatamente puesta a disposición de las herramientas de desarrollo.\nLa investigación se centra en extender este sistema a colecciones\, donde la información de tipos sólo puede ser recolectada de manera diferida sobre las instancias\, a medida que los objetos son añadidos a las mismas. En este trabajo discutiremos los cambios sobre la VM e imagen realizados para ello\, los cambios sobre el ambiente de desarrollo para beneficiarse de esta nueva información disponible\, así como los desafíos enfrentados.\nComo conclusión\, se presenta una generalización de la implementación realizada y se discuten los cambios requeridos para extender LiveTyping de manera de soportar todo tipo paramétrico. \nPalabras claves: Virtual Machine\, LiveTyping\, Tipado Estatico\, Tipado Dinámico\, Tipos Paramétricos\, Generics\, Parametrización Polimórfica\, Live Development Environments
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ana-felisatti-y-mariano-de-sousa-bispo/
LOCATION:Youtube
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR