Comparaison entre la transformation et l'extraction de programmes logiques

par ANNE BOUVEROT

Thèse de doctorat en Sciences appliquées

Sous la direction de Laurent Fribourg.

Soutenue en 1991

à Paris 7 .

    mots clés mots clés


  • Résumé

    L'execution etendue generalise l'execution de prolog a des buts implicatifs. Un but implicatif est une implication entre deux conjonctions d'atomes qui contient des variables universelles et existentielles. L'extraction d'un programme a partir d'une preuve par execution etendue consiste a prouver un but implicatif initial et a extraire de cette preuve un programme logique. Le programme extrait calcule les variables existentielles en fonction des variables universelles et verifie des proprietes de correction partielle et de terminaison par rapport au but initial. La transformation de programmes consiste a remplacer un programme par un autre programme qui lui est equivalent ou qui le specialise. La methode de transformation par pliage/depliage permet de transformer des programmes recursifs logiques et preserve l'equivalence entre les programmes

  • Titre traduit

    A comparison between transformation and extraction of logic programs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 44 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-BOU
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1991

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1991-BOU
  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • Disponible pour le PEB
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.