Join-calculus (programming language): Difference between revisions

Revision as of 17:58, 15 August 2012

Revision as of 14:01, 12 October 2012

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 | dateyear = 2000 | url=http://citeseer.ist.psu.edu/670457.html}}</ref>.

The join calculus has been integrated into several languages

Line 6:

* 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/>

Line 14 ⟶ 15:

*[http://www.doc.ic.ac.uk/~susan/jerlang/ JErlang: Erlang with Joins]

{{compu-lang-stub}}

[[Category:Concurrent programming languages]]

{{compu-lang-stub}}