Tree Automata: A Versatile Tool in Program Analysis

Gallagher, J. P. (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag 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
Periode14 sep. 2007
Sted for afholdelseJornadas sobre Programación y Lenguajes, PROLE’2007
BegivenhedstypeKonference
Konferencenummer7
PlaceringZaragoza, Congress Centre, Spanien