Précédent : Calcul distribué Remonter : Calcul distribué Suivant : Calcul distribué et le langage

Join-calcul distribué

Participant : Didier Rémy

Didier Rémy a participé au groupe de travail du projet Para sur les calculs distribués. Le but de ces travaux est de fournir un langage de programmation où la distribution est intégrée au noyau du langage, plutôt qu'ajoutée comme une couche externe. Cette intégration est indispensable, notamment pour pouvoir raisonner sur les programmes distribués. Le travail a abouti à la conception du join-calcul distribué [7], en ajoutant la distribution et une notion primitive d'erreurs au join-calcul (Cédric Fournet et Georges Gonthier. « The Reflexive Chemical Abstract Machine and the Join-Calculus ». In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pp. 372-385, janvier 1996). Un prototype de ce langage a été réalisé par Luc Maranget et Cédric Fournet, membres du projet Para. Didier Rémy s'intéresse plus particulièrement aux problèmes de typage ainsi qu'aux objets distribués.