Abstract : In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow paradigm. Our model covers both behavioural and operational aspects and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish the GC common format for synchronous data-flow languages.
https://hal.inria.fr/inria-00074583
Contributeur : Rapport de Recherche Inria
<>
Soumis le : mercredi 24 mai 2006 - 15:50:48
Dernière modification le : lundi 18 juin 2018 - 15:30:02
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:11:42
Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs. Data-flow synchronous languages. [Research Report] RR-2089, INRIA. 1993. 〈inria-00074583〉
