Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Beskrivelse
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
Periode
14 sep. 2007
Begivenhedstitel
Jornadas sobre Programación y Lenguajes, PROLE’2007