Compositionality in Dataflow Synchronous Languages: Specification & Code Generation

Albert Benveniste 1 Paul Le Guernic 1 Pascal Aubry 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of compositionality aiming at modular code generation, for dataflow synchronous languages. As careless storing of object code for further reuse in systems design fails to work, we first concentrate on what are the additional features needed to abstract programs for the purpose of code generation: we show that a central notion is that of scheduling specification as resulting from a causality analysis of the given program. Then we study separate compilation for synchronous programs, and we discuss the issue of distributed implementation using an asynchronous medium of communication¸; for both topics we provide a complete formal study. Corresponding algorithms are currently under development in the framework of the DC+ common format for synchronous languages.
Type de document :
Rapport
[Research Report] RR-3310, INRIA. 1997
Liste complète des métadonnées

https://hal.inria.fr/inria-00073379
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:39:53
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:44:31

Fichiers

Identifiants

  • HAL Id : inria-00073379, version 1

Collections

Citation

Albert Benveniste, Paul Le Guernic, Pascal Aubry. Compositionality in Dataflow Synchronous Languages: Specification & Code Generation. [Research Report] RR-3310, INRIA. 1997. 〈inria-00073379〉

Partager

Métriques

Consultations de la notice

252

Téléchargements de fichiers

664