Join-Calcul
- Join-Calcul
-
Le Join-Calcul est un calcul de processus inspiré de la machine abstraite chimique[1].
Il a servi de base pour le développement de plusieurs langages de programmation, tels que JoCaml (basé sur Objective Caml) et Cω (basé sur C#).
Références
- ↑ (en) Gérard Berry et Gérard Boudol, « The chemical abstract machine », dans POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1990, p. 81-94 (ISBN 0897913434)
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Join-Calcul de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Pi-calcul — Le Pi calcul (ou π calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de l informatique parallèle et distribuée un rôle similaire à celui du λ calcul dans l informatique classique.… … Wikipédia en Français
Mereologie — Méréologie Traduction à relire Mereology → … Wikipédia en Français
Méréologie — Traduction à relire Mereology → Méréologie … Wikipédia en Français
Distributive — Distributivité Dans un calcul faisant intervenir par exemple des nombres entiers ou réels, la distributivité permet de passer d un produit de sommes à une somme de produit. Par exemple, 2x(5 + 3) = (2x5) + (2x3). Le premier facteur 2 a été… … Wikipédia en Français
Distributivite — Distributivité Dans un calcul faisant intervenir par exemple des nombres entiers ou réels, la distributivité permet de passer d un produit de sommes à une somme de produit. Par exemple, 2x(5 + 3) = (2x5) + (2x3). Le premier facteur 2 a été… … Wikipédia en Français
Distributivité — Dans un calcul faisant intervenir par exemple des nombres entiers ou réels, la distributivité permet de passer d un produit de sommes à une somme de produit. Par exemple, 2x(5 + 3) = (2x5) + (2x3). Le premier facteur 2 a été distribué à chacun… … Wikipédia en Français
Pédagogie Steiner-Waldorf — Pour les articles homonymes, voir Steiner. École Waldorf en Allemagne La pédagogie Steiner Waldorf, fondée sur les théories éducatives de Rudolf Steiner, est une de … Wikipédia en Français
Langage de programmation Tcl — Tool Command Language Pour les articles homonymes, voir Tcl. Apparu en 1988 … Wikipédia en Français
TCL/TK — Tool Command Language Pour les articles homonymes, voir Tcl. Apparu en 1988 … Wikipédia en Français
Tcl/Tk — Tool Command Language Pour les articles homonymes, voir Tcl. Apparu en 1988 … Wikipédia en Français
