Étude et réalisation d'un langage objet : lore

par Yves Caseau

Thèse de doctorat en Informatique

Sous la direction de Gérard Guiho.

Soutenue en 1987

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (autre partenaire) .

Le président du jury était Jacques-Louis Lions.

Le jury était composé de Jacques-Louis Lions, Gérard Guiho, Guy Cousineau, Michel Gondran, Jean-Pierre Jouannaud.


  • Résumé

    Le travail se décompose en deux parties théoriques, consacrées respectivement à un modèle mathématique de la programmation par objet et a une théorie algébrique de la résolution des clauses logiques et séparées par une partie plus pratique sur la réalisation du langage lore. La sémantique du langage Lore et de son compilateur sont ensuite présentes. La dernière partie du travail est consacrée aux principes de la résolution algébrique. Cette méthode consiste à représenter des règles logiques par les termes d'une algèbre relationnelle. La notion de différenciation est ainsi introduite. Il est enfin montre que la stratégie de résolution proposée est valide et complète

  • Titre traduit

    Studies in object-oriented programming : the lore langage


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (319-IX--V p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. I-IX

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1987)350
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-034682

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Non disponible pour le PEB
  • Cote : MF-1987-CAS
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.