Join-Calcul

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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 OCaml) et Cω (basé sur C#).

Références

  1. ↑ (en) Gérard Berry et Gérard Boudol, « The chemical abstract machine », POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,‎ , p. 81-94 (ISBN 0897913434)
  • icône décorative Portail de l'informatique théorique