Contribution a l'integration de la programmation logique et de la programmation par objets : etude, conception et implantation

par MACAIRE NGOMO

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Pecuchet.

Soutenue en 1996

à Rouen .

    mots clés mots clés


  • Résumé

    Cette these prend place dans un projet interne de realisation de langages a vocation multiple, integrant plusieurs styles de programmation et adaptes au plus pres a nos besoins en matiere de conception et programmation des applications. Dans celle-ci, nous etudions les possibilites de combiner les aspects de deux paradigmes de programmation : la programmation logique et de la programmation par objets. Ces dernieres annees, ces deux paradigmes de programmation ont suscite un interet de plus en plus grand parce qu'ils offrent beaucoup d'avantages sur les methodes traditionnelles de programmation. Dans cette these, nous proposons un nouveau modele pour integrer ces deux paradigmes de programmation, en mettant en avant l'aspect declaratif de la programmation logique. Sur la base de ce modele, nous developpons un nouveau langage nomme oo-prolog (object-oriented prolog). Ce langage integre de maniere coherente les grands mecanismes de la programmation logique et de la programmation par objets. Il est base sur delphiaprolog et concu suivant le modele metaclasse/classe/instance inspire du modele objvlisp. L'heritage est dynamique et multiple, avec une semantique non monotone. Une nouvelle methode de resolution des conflits est proposee. Elle est basee sur la resolution non-deterministe. Un mecanisme de versions d'objets est propose permettant de construire l'histoire d'un objet par unification et de la defaire par retour arriere. Ce mecanisme repose sur l'utilisation des structures de donnees incompletes. L'apercu d'une structure incomplete peut s'utiliser pour permettre l'entree de nouvelles informations moyennant l'unification et donc de prevoir l'avenir. La lecture declarative des programmes utilisant ces structures est immediate. De facon operatoire, ces programmes se comprennent en termes de construction d'une structure par incrementation. Un schema d'extension de l'unification est propose, prenant en compte le concept d'identificateur d'objet.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 325 P.
  • Annexes : 454 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rouen. Service commun de la documentation. Section sciences site Madrillet.
  • Disponible pour le PEB
  • Cote : 96/ROUE/S039
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.