|
#REDIRECT [[Join-calculus#Languages based on the join-calculus]]
<!-- Please do not remove or change this AfD message until the issue is settled -->
{{Article for deletion/dated|page=Join-calculus (programming language)|timestamp=20150331151515|year=2015|month=March|day=31|substed=yes|help=off}}
<!-- For administrator use only: {{Old AfD multi|page=Join-calculus (programming language)|date=31 March 2015|result='''keep'''}} -->
<!-- End of AfD message, feel free to edit beyond this point -->
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 | year = 2000 | url=http://citeseer.ist.psu.edu/670457.html}}</ref>
{{R to section}}
The join calculus has been integrated into several languages
{{R with history}}
* [[Polyphonic C Sharp|Polyphonic C#]]
* [[Join Java]]
* C++ via Boost<ref>[http://channel.sourceforge.net/boost_join/libs/join/doc/boost_join_design.html Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library]</ref>
* JErlang (the J is for Join, erjang is Erlang for the JVM)<ref>[http://www.doc.ic.ac.uk/~susan/jerlang/ JErlang: Erlang with Joins]</ref>
== References ==
<references/>
== External links ==
*[http://moscova.inria.fr/join/index.shtml Join-calculus language homepage]
*[http://channel.sourceforge.net/boost_join/libs/join/doc/boost_join_design.html Yigong Liu - Join-Asynchronous Message Coordination and Concurrency Library]
*[http://www.doc.ic.ac.uk/~susan/jerlang/ JErlang: Erlang with Joins]
[[Category:Concurrent programming languages]]
{{compu-lang-stub}}
| 