Registro:
| Documento: | Tesis de Grado |
| Título: | Detección estática de canales no cerrados usando tipos comportamentales |
| Autor: | Marottoli, Daniela |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2019 |
| Fecha en portada: | 2019 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Melgratti, Hernán Claudio |
| Jurado: | López Pombo, Carlos Gustavo; Roldán, Christian Hugo |
| Idioma: | Español |
| Palabras clave: | TIPOS COMPORTAMENTALES; GO; COMUNICACION POR INTERCAMBIO DE MENSAJES; CIERRE DE CANALES; DEADLOCK, LIVENESS |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000594_Marottoli |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000594_Marottoli.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000594_Marottoli |
| Ubicación: | Dep.COM 000594 |
| 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. Marottoli, Daniela. (2019). Detección estática de canales no cerrados usando tipos comportamentales. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000594_Marottoli |
Resumen:
Go es un lenguaje de programación tipado estáticamente cuyo diseño no presenta primitivas explícitas de intercambio de mensajes a través de canales. Lange, Ng, Toninho y Yoshida proponen un sistema de tipos comportamentales para analizar propiedades sobre aspectos comunicacionales de programas en Go, tales como ausencia de deadlocks y errores de comunicación. Esta verificación se realiza a través de dos herramientas, Dingo Hunter y Gong, que toman un programa en Go e indican si satisfacen estas propiedades. Furman extiende estas herramientas agregando mensajes de error que contienen información sobre la línea de código que viola las propiedades, y la historia de ejecución. El objetivo de este trabajo es mejorar la usabilidad de las herramientas incorporando una detección estática de canales abiertos, de manera de agregar en el output información sobre canales que no son cerrados y que no se utilizan en el futuro de la ejecución. Para ello se extiende la implementación de Gong de manera de obtener información sobre tipos asociados a canales que se eliminan cuando se construye la máquina de estados que representa la ejecución simbólica de los tipos comportamentales de un programa.
Citación:
---------- APA ----------
Marottoli, Daniela. (2019). Detección estática de canales no cerrados usando tipos comportamentales. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000594_Marottoli
---------- CHICAGO ----------
Marottoli, Daniela. "Detección estática de canales no cerrados usando tipos comportamentales". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2019.https://hdl.handle.net/20.500.12110/seminario_nCOM000594_Marottoli
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000594_Marottoli.pdf
Distrubución geográfica
