Interprétation abstraite en programmation logique : théorie et application

par Marc-Michel Corsini

Thèse de doctorat en Mathématiques

Sous la direction de Bruno Courcelle.

Soutenue en 1989

à Bordeaux 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Etude et application de l'interprétation abstraite à la programmation logique. L'approche utilisée est basée sur une étude de graphes représentant unification ou substitution abstraites. Un nouveau schéma d'interprétation abstraite est défini, dont la validité et la consistance sont prouvées. Il est montré que ce choix permet d'améliorer les optimisations présentées comme, par exemple, l'inférence de modes ou la détection statique du point de backtrack à l'intérieur de clauses.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (xviii, 175 p.)

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 89.B-292
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 89.B-292
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-COR
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-159
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.