Coroutines and Networks of Parallel Processes

Résumé : Les concepts de coroutine et de processus interviennent dans une grande variété d'applications, où il est en général nécessaire de produire ou de transformer des données de façon progressive. Nous présentons un langage, fondé sur une vue sémantique précises de l'interaction entre processus, qui facilite la programmation de réseaux de processus qui évoluent dynamiquement. Ces réseaux ont un comportement externe unique, qu'ils soient exécutés de manière séquentielle ou parallèle. Les avantages d'une sémantique dénotationelle simple sont illustrés par des preuves de programmes. Ce langage de programmation permet aussi de clarifier les relations entre plusieurs concepts : coroutines, appel par nécessité, structures de données dynamiques et calcul parallèle.
Type de document :
Rapport
[Research Report] 1976, pp.20
Liste complète des métadonnées

https://hal.inria.fr/inria-00306565
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : mardi 29 juillet 2008 - 18:13:32
Dernière modification le : jeudi 26 octobre 2017 - 16:34:02
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 23:23:19

Fichier

rr_iria202.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00306565, version 1

Collections

Citation

Gilles Kahn, David Macqueen. Coroutines and Networks of Parallel Processes. [Research Report] 1976, pp.20. 〈inria-00306565〉

Partager

Métriques

Consultations de la notice

685

Téléchargements de fichiers

817