Substitutions, unification et interprétation abstraite (des programmes logiques)

  • Christophe LECLERE

    Thèse de l'étudiant: Master typesMaster en sciences mathématiques

    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éponsejuin 1995
    langue originaleFrançais
    L'institution diplômante
    • Universite de Namur
    SuperviseurVan Hien Nguyen (Promoteur)

    Contient cette citation

    '