Contents

• 1 Introduction
• 2 A rapid tour of the join-calculus
  • 2.1 Syntax
  • 2.2 Semantics
  • 2.3 The join programming languages
• 3 Pattern matching in join definitions
  • 3.1 Principle
  • 3.2 Towards deterministic automata
  • 3.3 Automata and semantics
• 4 Runtime definitions
  • 4.1 Basics
  • 4.2 Definitions in join
  • 4.3 Definitions in jocaml
• 5 The pragmatics of compilation
  • 5.1 Refined status
  • 5.2 Taking advantage of semantical analysis
  • 5.3 Avoiding status space explosion
• 6 Optimizing further
• 7 Conclusion and future work