Links
Abstract interpretation
Finite tree automata
Parma Polyhedra Library
Logic programming resources