Detección estática de canales no cerrados usando tipos comportamentales

Autores
Marottoli, Daniela
Año de publicación
2019
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Melgratti, Hernán Claudio
Descripción
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.
Fil: Marottoli, Daniela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Materia
TIPOS COMPORTAMENTALES
GO
COMUNICACION POR INTERCAMBIO DE MENSAJES
CIERRE DE CANALES
DEADLOCK, LIVENESS
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
Repositorio
Biblioteca Digital (UBA-FCEN)
Institución
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
OAI Identificador
seminario:seminario_nCOM000594_Marottoli

id BDUBAFCEN_91a7d82cd1b1eb246c4694d809351bdc
oai_identifier_str seminario:seminario_nCOM000594_Marottoli
network_acronym_str BDUBAFCEN
repository_id_str 1896
network_name_str Biblioteca Digital (UBA-FCEN)
spelling Detección estática de canales no cerrados usando tipos comportamentalesMarottoli, DanielaTIPOS COMPORTAMENTALESGOCOMUNICACION POR INTERCAMBIO DE MENSAJESCIERRE DE CANALESDEADLOCK, LIVENESSGo 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.Fil: Marottoli, Daniela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesMelgratti, Hernán Claudio2019info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttps://hdl.handle.net/20.500.12110/seminario_nCOM000594_Marottolispainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/arreponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCEN2025-09-29T13:43:34Zseminario:seminario_nCOM000594_MarottoliInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962025-09-29 13:43:35.546Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse
dc.title.none.fl_str_mv Detección estática de canales no cerrados usando tipos comportamentales
title Detección estática de canales no cerrados usando tipos comportamentales
spellingShingle Detección estática de canales no cerrados usando tipos comportamentales
Marottoli, Daniela
TIPOS COMPORTAMENTALES
GO
COMUNICACION POR INTERCAMBIO DE MENSAJES
CIERRE DE CANALES
DEADLOCK, LIVENESS
title_short Detección estática de canales no cerrados usando tipos comportamentales
title_full Detección estática de canales no cerrados usando tipos comportamentales
title_fullStr Detección estática de canales no cerrados usando tipos comportamentales
title_full_unstemmed Detección estática de canales no cerrados usando tipos comportamentales
title_sort Detección estática de canales no cerrados usando tipos comportamentales
dc.creator.none.fl_str_mv Marottoli, Daniela
author Marottoli, Daniela
author_facet Marottoli, Daniela
author_role author
dc.contributor.none.fl_str_mv Melgratti, Hernán Claudio
dc.subject.none.fl_str_mv TIPOS COMPORTAMENTALES
GO
COMUNICACION POR INTERCAMBIO DE MENSAJES
CIERRE DE CANALES
DEADLOCK, LIVENESS
topic TIPOS COMPORTAMENTALES
GO
COMUNICACION POR INTERCAMBIO DE MENSAJES
CIERRE DE CANALES
DEADLOCK, LIVENESS
dc.description.none.fl_txt_mv 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.
Fil: Marottoli, Daniela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
description 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.
publishDate 2019
dc.date.none.fl_str_mv 2019
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.12110/seminario_nCOM000594_Marottoli
url https://hdl.handle.net/20.500.12110/seminario_nCOM000594_Marottoli
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
dc.source.none.fl_str_mv reponame:Biblioteca Digital (UBA-FCEN)
instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
reponame_str Biblioteca Digital (UBA-FCEN)
collection Biblioteca Digital (UBA-FCEN)
instname_str Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron_str UBA-FCEN
institution UBA-FCEN
repository.name.fl_str_mv Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
repository.mail.fl_str_mv ana@bl.fcen.uba.ar
_version_ 1844618754122579968
score 13.070432