Invited speaker, PROLE'2007, Zaragoza, Spain

Gallagher, J. P. (Lecturer)

Activity: Talk or presentationLecture and oral contribution


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
Period14 Sep 2007
Event titleJornadas sobre Programación y Lenguajes, PROLE’2007: null
Event typeConference
Conference number7
LocationZaragoza, Congress Centre, Spain


  • Tree automata, abstract interpretation, static analysis