Date: Wed, 18 Jun 1997 18:16:40 +0200 (MET DST)
From: Luc Maranget <Luc.Maranget@inria.fr>
Message-Id: <199706181616.SAA15668@cheilly.inria.fr>
To: caml-list@inria.fr
Subject: Le calcul joint, release 1.01
It is our pleasure to announce the first release of the join-calculus
(version 1.01).
The join-calculus is an experimental programming language, based on
the homonymous process calculus. It provides a simple support for
distributed programming.
The main characteristics of the join-calculus are:
* fine-grained concurrency
* static type-checking, modules and separate compilation a la ML
* typed interface with Objective Caml
* execution on several, heterogeneous machines
* network-transparency (up-to failure).
* global lexical scope
* locality under the control of the language
* mobile agents and sub-agents
* failure detection.
The present release is a prototype implementation; its
main limitations are:
* corish syntax (e.g., no loop construct)
* no obsession about performances
* no remote detection of physical failures
The join-calculus is implemented in Objective Caml, and
should run on most Unix architectures. It has been tested on sun4
(SunOS 4.1.x), alphas (DEC OSF) and i*86s (Linux).
More information on the join-calculus (including tutorials, user's
manuals, and some bibliography) is available on the Web, at
http://pauillac.inria.fr/join/
The distribution resides at
It contains the complete source distribution, including a license, and the
manuals in miscellaneous formats (ps, dvi, html).
The join-calculus requires Objective Caml 1.05, which is available at
ftp://ftp.inria.fr/lang/caml-light. More information on Objective Caml
is available at http://pauillac.inria.fr/ocaml/.
Enjoy!... and please report questions, bugs and feedback to
Cédric Fournet and Luc Maranget
INRIA Rocquencourt, projet Para, B.P.105, 78153 Le Chesnay, France.
---- Nous avons le plaisir de vous annoncer la premiere version du join-calcul (version 1.01).Le join-calcul est un langage de programmation, derivé du calcul de processus homonyme. Ce langage fournit une base simple pour la programmation distribuée.
Les principales caractéristiques du join-calcul: * exécution parallèle. * typage statique, modules et compilation séparée à la ML * interface typée avec Objective Caml * exécution répartie sur plusieurs machines différentes. * en l'absence de pannes, la répartition est invisible. * portée lexicale globale * agents mobiles, éventuellement imbriqués * contrôle de la localité intégré au langage. * détection des pannes.
Cette implémentation est un prototype; en particulier: * le langage n'est pas très developpé (pas de boucles primitives, par exemple) * les performances ne sont pas extraordinaires. * il n'y a pas de détection des pannes physiques.
Le join-calcul est implémenté en Objective Caml, et devrait tourner sur la plupart des machines sous Unix. Nous l'avons testé sur sun4 (SunOS 4.1.x), Alpha (DEC OSF) et i*86s (Linux).
Pour plus d'information, allez voir:
http://pauillac.inria.fr/join/
Vous y trouverez le manuel de référence, une présentation détaillée du langage, et diverses références. La distribution elle-même se trouve sur
Elle comporte les sources, la license, et la documentation (ps, dvi, ou html).
Le join-calcul utilise Objective Caml 1.05, qui est disponible en ftp://ftp.inria.fr/lang/caml-light. Pour plus d'information sur Objective Caml, cf http://pauillac.inria.fr/ocaml/.
Vos commentaires, et surtout vos rapports de bugs sont les bienvenus (jc-team@inria.fr)
Cédric Fournet and Luc Maranget
INRIA Rocquencourt, projet Para, B.P.105, 78153 Le Chesnay, France.
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:11 MET