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

Proposal for a synthesis of logic programming and object oriented programming

• Auteur / Autrice : JEAN-MARC ANDREOLI
• Direction : JEAN-FRANCOIS PERROT
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Paris 6

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