Representation of Sets of Trees for Abstract Interpretation

Niveau: Supérieur
Representation of Sets of Trees for Abstract Interpretation Laurent Mauborgne Thesis defended November 25, 1999 at Ecole Polytechnique Jury : Ahmed Bouajjani Patrick Cousot (director) Jean Goubault-Larrecq Nicolas Halbwachs Neil Jones (rapporteur, president) Andreas Podelski David Schmidt (rapporteur)

• abstract interpretation


• structures de donnees permettant de representer


• automate d'arbres


• proprietes de programmes


• nouvelle representation des ensem- bles d'arbres


• automates d'arbres infinis


• representation