Le calcul joint, release 1.01

From: Luc Maranget (Luc.Maranget@inria.fr)
Date: Wed Jun 18 1997 - 18:16:40 MET DST


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

        ftp://ftp.inria.fr/lang/join

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

        jc-team@inria.fr

                        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

ftp://ftp.inria.fr/lang/join/

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