Tree Automata: A Versatile Tool in Program Analysis

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag


Tree automata describe sets of terms. Together with closely related notions such as regular types and set constraints they attract growing attention in automatic program analysis and verification. This talk will survey some applications of tree automata in program analysis, such as program specialisation, data flow analysis for a variety of languages, shape analysis of pointer-based data structures, polymorphic type inference, binding time analysis, termination analysis, infinite state model checking and cryptographic protocol analysis.

Emneord: Tree automata, abstract interpretation, static analysis
Periode14 sep. 2007
BegivenhedstitelJornadas sobre Programación y Lenguajes, PROLE’2007
PlaceringZaragoza, Congress Centre, SpanienVis på kort