21/12/2000: Cedric Fournet (Microsoft Research)
Le join calcul, un calcul pour la programmation repartie.
Résumé
Le join calcul est un petit langage asynchrone decrivant la programmation
repartie et mobile. Sa semantique, presentee comme une machine abstraite,
insiste sur la localite du calcul et suggere son implementation. On peut
facilement y retrouver la programmation fonctionnelle ; c'est l'approche
suivie pour en faire un vrai langage qui etend OCaml (http://join.inria.fr).
On peut aussi etablir diverses proprietes des programmes ecrits dans ce
langage, en declinant certaines notions classiques du parallelisme. Enfin,
on peut etendre ce langage pour modeliser la repartition du calcul, les
agents mobiles, les pannes, ou encore certains problemes de securite.