Programming in JoCaml (Tool Demonstration)

  • Louis Mandel
  • Luc Maranget
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4960)


JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus.

We here present the recent release of JoCaml, motivate our fundamental design choices, compare the new release with previous ones, and give a taste of JoCaml by means of a few examples.


Pattern Match Functional Programming Transport Phase FIFO Queue Reaction Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Louis Mandel
    • 1
  • Luc Maranget
    • 2
  1. 1.LRI, UNIV PARIS-SUD 1 , CNRS, Orsay F-91405, INRIA FUTURS, Orsay F-91893 
  2. 2.INRIA PARIS - ROCQUENCOURT, Le Chesnay F-78153 

Personalised recommendations