Proposition pour une synthese des paradigmes de la programmation logique et de la programmation par objets

par JEAN-MARC ANDREOLI

Thèse de doctorat en Sciences appliquées

Sous la direction de JEAN-FRANCOIS PERROT.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    Le probleme general de la synchronisation en informatique se pose, dans des termes similaires, tant en programmation logique (synchronisation des inferences logiques) qu'en programmation par objets (synchronisation des transitions d'etat des objets). Partant de ce constat, on propose un systeme de programmation, fonde sur la notion de preuve, qui realise la synthese des deux paradigmes. Le systeme de preuve adopte est celui de la logique lineaire qui, contrairement a son analogue classique, prend explicitement en compte la notion de ressources (temporelles et spatiales) et est donc mieux adapte a une utilisation en informatique


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 57 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1990 20
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.