Using a "geometric" semantics and tools from algebraic topology, or more precisely "directed" algebraic topology, I will show how we can efficiently retract the semantics of concurrent
programs so that to get tractable static analyses. This is the basis of the static analyzer ALCOOL which will be briefly demonstrated.
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>