Analyse statique et domaines abstraits symboliques
71 pages
Français

Analyse statique et domaines abstraits symboliques

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
71 pages
Français
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

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

Informations

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

Exrait

  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents