Analyse statique et domaines abstraits symboliques

Publié par

Analyse statique et domaines abstraits
symboliques
Mémoire d’habilitation à diriger des recherches
Laurent Mauborgne
Habilitation soutenue le 12 février 2007 à l’Université Paris-Dauphine
Jury : Patrick Cousot (rapporteur) Roberto Giacobazzi (rapporteur)
Jean Goubault-Larrecq Vangelis Paschos (coordinateur)
David Schmidt (rapporteur) Reinhard Wilhelm (président) 2
À Valérie Table des matières
1 Activités de Recherche 5
1.1 Structures de données . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Analyse statique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2 Graphes et partage des données 7
2.1 Partage des données et interprétation abstraite . . . . . . . . . . . . . . . . . . . . 7
2.1.1 Partage maximal incrémental . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.1.2 Calcul de points fixes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Partage maximal de graphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.1 Graphe minimal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.2 Partage incrémental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2.3 Ptal en présence de cycles . . . . . . . . . . . . . . . . . . . 10
2.2.4 Clés partielles pour les graphes quelconques . . . . . . . . . . . . . . . . . . 11
2.3 Application aux automates de mots . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3.1 Indistinguabilité et langage ...
Voir plus Voir moins
Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.