Approche, en termes de squelettes de preuve, de la semantique et du diagnostic declaratif d'erreur des programmes logiques avec contraintes

par ALEXANDRE TESSIER

Thèse de doctorat en Sciences appliquées

Sous la direction de GERARD FERRAND.

Soutenue en 1997

à Orléans .

    mots clés mots clés


  • Résumé

    Cette these propose une reformulation complete de la semantique des programmes logiques avec contraintes dans la lignee de la vision grammaticale de la programmation logique p. Deransart et j. Maluszynski 1993. La semantique generalise les semantiques classiques j. Jaffar et j-l. Lassez 1987 basees sur un domaine ou une theorie pour la semantique du langage des contraintes. De plus, elle tient compte de l'incompletude des solveurs de contraintes. Les resultats connus sont retrouves. Cette reformulation est particulierement bien adaptee pour etudier le diagnostic declaratif d'erreur e. Y. Shapiro 1982 des programmes logiques avec contraintes. Diverses notions d'erreurs sont definies et des algorithmes de diagnostics sont proposes. Ils sont compares avec certaines techniques elaborees pour la programmation logique pure.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 138 P.
  • Annexes : 99 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Orléans. Service commun de la documentation.Section Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.