JoCaml: A language for concurrent distributed and mobile programming. In these lecture notes, we give an overview of concurrent, distributed, and mobile programming using JoCaml. JoCaml is an extension of the Objective Caml language. It extends OCaml with support for concurrency and synchronization, the distributed execution of programs, and the dynamic relocation of active program fragments during execution. The programming model of JoCaml is based on the join calculus. This model is characterized by an explicit notion of locality, a strict adherence to local synchronization, and a natural embedding of functional programming à la ML. Local synchronization means that messages always travel to a set destination, and can interact only after they reach that destination; this is required for an efficient asynchronous implementation. Specifically, the join calculus uses ML’s function bindings and pattern-matching on messages to express local synchronizations. The lectures and lab sessions illustrate how to use JoCaml to program concurrent and distributed applications in a much higher-level fashion than the traditional threads-and-locks approach.

References in zbMATH (referenced in 27 articles , 1 standard article )

Showing results 1 to 20 of 27.
Sorted by year (citations)

1 2 next

  1. Peters, Kirstin; Nestmann, Uwe; Schmitt, Anna: On distributability (2022)
  2. Peters, Kirstin; Nestmann, Uwe: Distributability of mobile ambients (2020)
  3. Haller, Philipp; Miller, Heather: A reduction semantics for direct-style asynchronous observables (2019)
  4. Tabareau, Nicolas; Tanter, Éric: Chemical foundations of distributed aspects (2019)
  5. Clerc, Xavier: OCaml-Java: the Java virtual machine as the target of an OCaml compiler (2016)
  6. Lenglet, Sergueï; Schmitt, Alan; Stefani, Jean-Bernard: Characterizing contextual equivalence in calculi with passivation (2011)
  7. Spoonhower, Daniel; Blelloch, Guy E.; Harper, Robert; Gibbons, Phillip B.: Space profiling for parallel functional programs (2010)
  8. Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca: PiDuce- A project for experimenting web services technologies (2009)
  9. Ma, Qin; Maranget, Luc: Algebraic pattern matching in join calculus (2008)
  10. Miculan, Marino: A categorical model of the fusion calculus (2008)
  11. Pous, Damien: Using bisimulation proof techniques for the analysis of distributed abstract machines (2008)
  12. Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian: Linear forwarders (2007)
  13. Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide: An efficient abstract machine for safe ambients (2007)
  14. Niehren, Joachim; Sabel, David; Schmidt-Schauß, Manfred; Schwinghammer, Jan: Observational semantics for a concurrent lambda calculus with reference cells and futures (2007)
  15. Pous, Damien: On bisimulation proofs for the analysis of distributed abstract machines (2007)
  16. Sewell, Peter; Leifer, James J.; Wansbrough, Keith; Nardelli, Francesco Zappa; Allen-Williams, Mair; Habouzit, Pierre; Vafeiadis, Viktor: Acute: high-level programming language design for distributed computation (2007)
  17. Niehren, J.; Schwinghammer, J.; Smolka, G.: A concurrent lambda calculus with futures (2006)
  18. Gardner, Philippa; Maffeis, Sergio: Modelling dynamic web data (2005)
  19. Garg, Deepak; Pfenning, Frank: Type-directed concurrency (2005)
  20. Boudol, Gérard: ULM: A core programming model for global computing (extended abstract) (2004)

1 2 next