Registro:
| Documento: | Tesis de Grado |
| Título: | TypeCheckerDragon : chequeo de tipos contextualizados en un lenguaje de tipado dinámico |
| Autor: | Gutiérrez Ostrovsky, Julián Francisco |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-08-04 |
| Fecha de defensa: | 2024-12-12 |
| Fecha en portada: | 2024 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Wilkinson, Hernán Alfredo |
| Director Asistente: | Martínez, Agustín Rafael |
| Jurado: | Zoppi, Edgardo Julio; Galeotti, Juan Pablo |
| Idioma: | Español |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000841_GutierrezOstrosky |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000841_GutierrezOstrosky.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000841_GutierrezOstrosky |
| Ubicación: | Dep.COM 000841 |
| 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. Gutiérrez Ostrovsky, Julián Francisco. (2024). TypeCheckerDragon : chequeo de tipos contextualizados en un lenguaje de tipado dinámico. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000841_GutierrezOstrosky |
Resumen:
El trabajo de esta tesis se basa principalmente en el desarrollo de una funcionalidad de chequeo de tipos para un lenguaje de tipado dinámico como Smalltalk [1]. Este chequeo consiste en poder verificar para luego informar al usuario de Smalltalk sobre inconsistencias en el código. Principalmente, advertir sobre mensajes que se envían a objetos que no tienen capacidad de responderlo, lo que podría incurrir eventualmente en errores en tiempo de ejecución. También tiene en cuenta que esos objetos receptores de mensajes varían sus tipos de datos asociados -y por ende también qué mensajes pueden responder- dependiendo del contexto en el que se encuentren. Identificar, analizar y adaptarse a esos contextos también es parte de este trabajo. Los resultados son presentados de forma unificada en una ventana que exhibe cada inconsistencia encontrada en cada envío de mensaje de cada método, junto con una breve explicación del problema, la previsualización del método en cuestión y la posibilidad de navegar directamente a ese método mediante el uso de browsing que posee Smalltalk. La técnica utilizada para analizar todos los mensajes del método a verificar, se basa en recorrer el Árbol Sintáctico (AST) generado de cada método en busca de nodos de envíos de mensajes, para luego analizar si los tipos recolectados sobre el objeto receptor tienen la capacidad de responder el mensaje que está siendo enviado.
Citación:
---------- APA ----------
Gutiérrez Ostrovsky, Julián Francisco. (2024). TypeCheckerDragon : chequeo de tipos contextualizados en un lenguaje de tipado dinámico. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000841_GutierrezOstrosky
---------- CHICAGO ----------
Gutiérrez Ostrovsky, Julián Francisco. "TypeCheckerDragon : chequeo de tipos contextualizados en un lenguaje de tipado dinámico". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2024.https://hdl.handle.net/20.500.12110/seminario_nCOM000841_GutierrezOstrosky
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000841_GutierrezOstrosky.pdf
Distrubución geográfica
