Utilisation de déclarations en programmation logique avec contraintes

par Eric Vétillard

Thèse de doctorat en Informatique

Sous la direction de Jean-François Pique.

    mots clés mots clés


  • Résumé

    Nous proposons ici une extension des langages de programmation logique avec contraintes (plc), par l'introduction de declarations donnees par l'utilisateur. Ces declarations lui permettent de donner une specification partielle des programmes qu'il ecrit. Cette specification peut etre utilisee tant pour la mise au point des programmes que pour l'amelioration de leurs performances. Apres avoir defini le cadre theorique dans lequel s'inscrivent ces declarations, nous proposons une methode statique pour leur verification, basee sur une classe particuliere de mecanismes de preuve de programmes logiques presentant l'avantage d'etre effectues localement a chaque regle. De par la nature des langages de plc, ce mecanisme statique n'est bien sur pas suffisant, et nous proposons egalement un mecanisme complementaire de verification dynamique des declarations. Dans une deuxieme partie, nous abordons le probleme de la realisation d'un compilateur pour les langages de plc avec declarations. Nous nous attachons particulierement a traiter quelques points de cette compilation, la generation des verifications dynamiques, etc nous presentons egalement quelques aspects de la compilation des langages de plc qui peuvent etre ameliores par l'utilisation de declarations. Enfin, nous presentons des resultats experimentaux montrant les avantages et les inconvenients pratiques de cette approche

  • Titre traduit

    Using declarations in constraint logic programming


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ( 223 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.: f. 178-183

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : L23958
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.