Skip to Main content Skip to Navigation
Reports

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
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 AS - Signal Processing and Control
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074583
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 3:50:48 PM
Last modification on : Thursday, February 11, 2021 - 2:48:06 PM
Long-term archiving on: : Monday, April 5, 2010 - 12:11:42 AM

Identifiers

  • HAL Id : inria-00074583, version 1

Citation

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

Share

Metrics

Record views

268

Files downloads

388