Registro:
| Documento: | Tesis de Grado |
| Título: | Anotación automática de tipos para colecciones en ambientes dinámicos |
| Autor: | De Sousa Bispo, Mariano Edgardo; Felisatti, Ana Laura |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2021 |
| Fecha en portada: | 2021 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Wilkinson, Hernán Alfredo |
| Jurado: | Garbervetsky, Diego David; Melgratti, Hernán Claudio |
| Idioma: | Español |
| Palabras clave: | VIRTUAL MACHINE; LIVETYPING; TIPADO ESTATICO; TIPADO DINAMICO; TIPOS PARAMETRICOS; GENERICS; PARAMETRIZACION POLIMORFICA; LIVE DEVELOPMENT ENVIRONMENTS |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000572_DeSousaBispo |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000572_DeSousaBispo.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000572_DeSousaBispo |
| Ubicación: | Dep.COM 000572 |
| 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. De Sousa Bispo, Mariano Edgardo; Felisatti, Ana Laura. (2021). Anotación automática de tipos para colecciones en ambientes dinámicos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000572_DeSousaBispo |
Resumen:
Las 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. LiveTyping 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. La 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. Como 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.
Citación:
---------- APA ----------
De Sousa Bispo, Mariano Edgardo; Felisatti, Ana Laura. (2021). Anotación automática de tipos para colecciones en ambientes dinámicos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000572_DeSousaBispo
---------- CHICAGO ----------
De Sousa Bispo, Mariano Edgardo; Felisatti, Ana Laura. "Anotación automática de tipos para colecciones en ambientes dinámicos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2021.https://hdl.handle.net/20.500.12110/seminario_nCOM000572_DeSousaBispo
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000572_DeSousaBispo.pdf
Distrubución geográfica
