Coroutines and Networks of Parallel Processes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1976

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
rr_iria202.pdf (930.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00306565 , version 1 (29-07-2008)

Identifiants

  • HAL Id : inria-00306565 , version 1

Citer

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

Collections

LARA
884 Consultations
1308 Téléchargements

Partager

Gmail Facebook X LinkedIn More