Le calcul joint, release 1.01

Le calcul joint, release 1.01

[Luc Maranget]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3668 bytes --]

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.