Objets, programmation en logique et implantation parallele

par JEAN-MICHEL DOUIN

Thèse de doctorat en Sciences appliquées

Sous la direction de LOUIS DEWEZ.

Soutenue en 1993

à CNAM .

    mots clés mots clés


  • Résumé

    La premiere partie de cette these integre dans le langage modulog certains resultats recents de la recherche sur les langages a objets et propose une nouvelle definition des objets en programmation logique. La deuxieme partie porte sur la parallelisation de l'interpreteur modulog. Un modele ensembliste est retenu comme support rigoureux de l'heritage. Le langage modulog#o autorise la definition de classe et de l'heritage multiple. Modulog#o definit la notion d'objet mutable en programmation logique. Les classes peuvent declarer un invariant utilisant l'unification retardee sur les variables libres. Outre la selection classique des methodes, modulog#o utilise le principe de retraction. L'unification est etendue et repose sur le calcul de la borne inferieure de deux classes d'objets. Les extensions sont decrites par une semantique operationnelle en regles inductives. L'interpretation de ces regles transcrites en prolog fournit un prototype de l'interpreteur modulog#o. Une premiere implantation en langage imperatif est egalement developpee. La parallelisation utilise les modeles en et-restreint et ou appliques aux buts des queues de clauses du programme modulog. L'architecture parallele utilisee est de type mimd a memoire locale. Les etudes menees montrent un gain notable en performance si l'on adopte un parallelisme explicite. La comparaison est faite avec le parallelisme implicite


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 160 REF

Où se trouve cette thèse ?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 165
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : Th A 165 double
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.