Etude de la terminaison des programmes logiques avec contraintes, aux moyens d'approximations

par Frédéric Mesnard

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Gabriel Ganascia.

Soutenue en 1993

à Paris 6 .

    mots clés mots clés


  • Résumé

    Nous presentons dans un premier temps une classe d'applications entre langages de programmations par contraintes, appelees approximations. Ceci nous autorise a nous concentrer sur les images pq et pb d'un programme p dans le domaine des rationnels positifs et celui des booleens. L'etude de pq nous permet de mettre a jour des termes lineaires decroissants a chaque appel de celle de pb nous renseigne sur l'etat des variables apres succes. Finalement, a partir de ces deux informations, nous calculons les conditions minimales garantissant la terminaison des preuves pour un systeme prolog de toute requete satisfaisant ces conditions

  • Titre traduit

    Termination of constraint logic programs, by means of approximations


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 121 P.
  • Annexes : 91

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1993 179
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1993

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.
  • Non disponible pour le PEB
  • Cote : MF-1993-MES
  • 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.