Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00306565
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Submitted on : Tuesday, July 29, 2008 - 6:13:32 PM
Last modification on : Thursday, March 5, 2020 - 4:51:18 PM
Long-term archiving on: : Friday, November 25, 2016 - 11:23:19 PM

File

rr_iria202.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

980

Files downloads

1588