Analyse statique et domaines abstraits symboliques

Description

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 ...

Sujets

• D'une ombre à l'autre
• Étatisme
• Ensemble musical
• Arbres généalogiques des familles de La Petite Maison dans la prairie
• Cycles universitaires
• Fonction digamma

Informations

• Publié par: Thyoj
• Nombre de lectures: 89
• Langue: Français
• Poids de l'ouvrage: 1 Mo

Extrait