Join-calculus (programming language)
 | This article was nominated for deletion. The discussion was closed on 09 April 2015 with a consensus to merge the content into the article Join-calculus#Languages based on the join-calculus. If you find that such action has not been taken promptly, please consider assisting in the merger instead of re-nominating the article for deletion. To discuss the merger, please use the destination article's talk page. (April 2015) |
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".
{{cite journal}}: Cite journal requires|journal=(help) - ^ Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library
- ^ JErlang: Erlang with Joins
External links
- Join-calculus language homepage
- Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library
- JErlang: Erlang with Joins
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |