Content deleted Content added
No edit summary |
added some examples of languages that implement the join calculus |
||
Line 1:
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<ref>{{cite paper | author=Cedric Fournet, Georges Gonthier | title=The Join Calculus: A Language for Distributed Mobile Programming | date = 2000 | url=http://citeseer.ist.psu.edu/670457.html}}</ref>.
The join calculus has been integrated into several languages
* Polyphonic C#
* JoinJava
* C++ via Boost
* JErlang (the J is for Join, erjang is Erlang for the JVM)
== References ==
<references/>
Line 6 ⟶ 11:
== External links ==
*[http://moscova.inria.fr/join/unix/eng.shtml Join-calculus language homepage]
*[http://channel.sourceforge.net/boost_join/libs/join/doc/boost_join_design.html]
*[http://www.doc.ic.ac.uk/ ̃susan/jerlang/]
{{compu-lang-stub}}
| |||