Data-flow synchronous languages

Albert Benveniste (1, 2) , Paul Caspi (3) , Paul Le Guernic (1) , Nicolas Halbwachs (3)

1 EP-ATR - Environnement de programmation d'applications temps réel
2 AS - Signal Processing and Control
3 IMAG - Institut de Mathématiques Appliquées de Grenoble [Grenoble]

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.

Domaines: Autre [cs.OH]

Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs. Data-flow synchronous languages. [Research Report] RR-2089, INRIA. 1993. ⟨inria-00074583⟩