Résumé
L'interprétation abstraite est une méthodologie d'analyse statique des programmes basée sur l'approximation de l'exécution réelle par un processus agissant sur un domaine non-standard de représentation des valeurs (domaine abstrait). Cette technique prend tout son sens dans le cas des langages de programmation logiques en tentant de rendre ceux-ci aussi efficaces que les langages usuels tels que Pascal, C ou Fortran.Ce mémoire formalise les différents concepts nécessaires à l'interprétation abstraite des programmes logiques : les substitutions (les objets traités lors de l'exécution du programme logique), l'unification (l'opération fondamentale de l'exécution d'un programme logique) et la base théorique de l'interprétation abstraite puis cite quelques domaines abstraits pour la programmation logique.
| la date de réponse | juin 1995 |
|---|---|
| langue originale | Français |
| L'institution diplômante |
|
| Superviseur | Van Hien Nguyen (Promoteur) |