Join-calculus (programming language)
From EverybodyWiki Bios & Wiki
In computer science, the join-calculus is a programming language based on the identically-named join-calculus process calculus. It is implemented as an interpreter written in OCaml, and supports statically-typed distributed programming, transparent remote communication, agent-based mobility, and failure-detection.[1]
The join calculus has been integrated into several languages:
- Polyphonic C#
- Join Java
- C++ via Boost[2]
- JErlang (the J is for Join, erjang is Erlang for the JVM)[3]
References
- ↑ Cedric Fournet, Georges Gonthier (2000). "The Join Calculus: A Language for Distributed Mobile Programming".
- ↑ Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library
- ↑ "JErlang: Erlang with Joins". Archived from the original on 2017-12-08. Retrieved 2015-03-31.
External links
- Join-calculus language homepage
- Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library
- JErlang: Erlang with Joins Archived 2017-12-08 at the Wayback Machine
| This programming-language-related article is a stub. You can help EverybodyWiki by expanding it. |
This article "Join-calculus (programming language)" is from Wikipedia. The list of its authors can be seen in its historical. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
