Implementación eficiente de construcciones de alto nivel para la programación concurrente
View/ Open
Date
2011Author
Barsotti, Damián
Advisor
Blanco, Javier Oscar
Metadata
Show full item recordAbstract
El trabajo de tesis doctoral presenta métodos automáticos para mejorar implementaciones de regiones críticas condicionales y monitores con señalamiento automático, mediante el uso de probadores de teoremos del tipo SMT solver (CVC) y probadores de lógica de alto orden (Isabelle/Isar), utilizados dentros de técnicas de interpretación abstracta. En el caso de regiones críticas condicionales la propuesta se aplica a implementaciones automáticas producidas por la técnica de Semáforos Binarios Divididos desarrollada por E.W.Dijkstra. En el caso de monitores el método mejora implementaciones con señalamiento explícito. Los resultado brindan construcciones eficientes de alto nivel, que permiten desarrollar programas concurrentes de forma simple y correcta.
xmlui.dri2xhtml.METS-1.0.item-citation
Bibliografía : p. 223-228.