Coroutines and Networks of Parallel Processes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1976

Coroutines and Networks of Parallel Processes

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
rr_iria202.pdf (930.72 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : inria-00306565 , version 1

Cite

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

Collections

LARA
900 View
1322 Download

Share

Gmail Facebook X LinkedIn More