Analyses statiques en programmation logique avec contraintes

par BRUNO DUMANT

Thèse de doctorat en Sciences appliquées

Sous la direction de H. AIT-KACI.

Soutenue en 1996

à Paris 7 .

    mots clés mots clés


  • Résumé

    Une analyse statique est une methode permettant de determiner des informations susceptibles d'etre utilisees par un compilateur a des fins d'optimisation. L'interpretation abstraite est un cadre theorique d'analyse de programmes permettant de determiner des proprietes d'invariance des variables manipulees par ces programmes, c'est-a-dire des proprietes des variables vraies lors de toutes les executions possibles du programme analyse. Cette these fournit un cadre et des domaines d'analyse des langages logiques avec contraintes, permettant le calcul de types recursifs tres precis et de developper des analyses modulaires, tout en garantissant des temps de calcul raisonnables ; d'autre part, elle exhibe les liens qui existent entre l'interpretation abstraite et les approches de l'analyse fondees sur les grammaires attribuees, et generalise les techniques connues d'analyse du test d'occurrence en prolog, tout en en donnant les conditions de faisabilite. L'idee de base de ces contributions est venue de la comparaison entre programmes logiques avec contraintes et grammaires, et en particulier de la separation que l'on peut faire entre un squelette c'est a dire un arbre d'appel ou de derivation et son ensemble de contraintes associe represente par les equations semantiques entre occurrences d'attributs d'une grammaire attribuee


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 280 P.
  • Annexes : 87 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1996
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.