Projet : PARA

previous up next contents
Précédent : Concurrence et sécurité Remonter : Résultats nouveaux Suivant : Compilation du filtrage en join


   
Objets distribués



Participants : Cédric Fournet, Luc Maranget.

Une étude sur la possibilité d'étendre le join-calcul avec des classes et objets a été démarré en 1998. Si la structure du join-calcul permet de donner agréablement des définitions simples de classes et de leur méthodes avec éventuellement des accès exclusifs, il n'est pas si simple d'adapter un mécanisme d'héritage entre classes. Avec C. Laneve (U.  de Bologne) et D. Rémy (projet CRISTAL), C. Fournet et L. Maranget ont commencé à définir des calculs et à en étudier leurs propriétés. Une première version de ce travail a été à Nice lors de la 4ème réunion du groupe de travail Confer-2.