Projet : PARA

previous up next contents
Précédent : Objets distribués Remonter : Résultats nouveaux Suivant : Substitutions explicites et logique


   
Compilation du filtrage en join



Participants : Fabrice le Fessant, Luc Maranget.

F. Le Fessant et Luc Maranget ont écrit en commun un article sur la l'implémentation des filtrage en join-calcul dans les compilateurs join et jocaml. Cet article décrit un formalisme simple, mais suffisant pour décrire la compilation du ``join-matching'' (garde en réception simultanée de messages sur plusieurs canaux) vers les automates finis déterministes. Il utilise ensuite ce formalisme pour expliciter les techniques de compilation implantées dans nos deux compilateurs, ainsi que certaines optimisations. Cet article est publié dans les actes du séminaire international ``High-Level Concurrent Languages'' qui s'est tenu à Nice en septembre.  [[7]]