%0 Conference Proceedings
%T JErlang: Erlang with Joins
%+ Ecole Polytechnique Fédérale de Lausanne (EPFL)
%+ Imperial College London
%A Plociniczak, Hubert
%A Eisenbach, Susan
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec)
%C Amsterdam, Netherlands
%Y Dave Clarke; Gul Agha
%I Springer
%3 Coordination Models and Languages
%V LNCS-6116
%P 61-75
%8 2010-06-07
%D 2010
%R 10.1007/978-3-642-13414-2_5
%K Concurrency
%K Join-Calculus
%K Erlang
%K Static Analysis
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X Erlang is an industrially successful functional language that uses the Actor model for concurrency. It supports the message-passing paradigm by providing pattern-matching over received messages. Unfortunately coding synchronisation between multiple processes is not straightforward. To overcome this limitation we designed and implemented JErlang, a Join-Calculus inspired extension to Erlang. We provide a rich set of language features with our joins. We present implementation details of our two alternative solutions, a library and an altered VM. Our optimisations provide JErlang with good performance.
%G English
%2 https://inria.hal.science/hal-01054623/document
%2 https://inria.hal.science/hal-01054623/file/JErlang.pdf
%L hal-01054623
%U https://inria.hal.science/hal-01054623
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-LNCS-6116
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ IFIP-2010