next up previous contents
Next: The Join Calculus Language Up: Progress Previous: Denotational semantics

Programming Languages

This section is composed of 4 parts. First, there is the work on the Join Calculus language and PICT, both with public releases. Secondly, the work on the BOHM machine has been pursued. Thirdly, a prototype of LLinda has been implemented. Finally, practical experiments have been designed in the ICL GTD project and at CNET Lannion. These researchs have been carried out at INRIA Rocquencourt, Bologna, Pisa, ICL and CNET.