Towards a Higher-order Synchronous Data-flow Language - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Towards a Higher-order Synchronous Data-flow Language

Jean-Louis Colaço
  • Fonction : Auteur
Alain Girault
  • Fonction : Auteur
Grégoire Hamon
  • Fonction : Auteur
Marc Pouzet
  • Fonction : Auteur
  • PersonId : 969936

Résumé

The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfigure data-flow processes. The language comes as a natural and strict extension of both lustre and lucy. This extension is conservative, in the sense that a first-order restriction of the language can receive the same semantics.We illustrate the expressivity of the language with some examples, before giving the formal semantics of the underlying calculus. The language is equipped with a polymorphic type system allowing types to be automatically inferred and a clock calculus rejecting programs for which synchronous execution cannot be statically guaranteed. To our knowledge, this is the first higher-order synchronous data-flow language where stream functions are first class citizens.
Fichier non déposé

Dates et versions

hal-01520545 , version 1 (10-05-2017)

Identifiants

Citer

Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet. Towards a Higher-order Synchronous Data-flow Language. ACM Fourth International Conference on Embedded Software (EMSOFT'04), Sep 2004, Pisa, Italy. pp.230-239, ⟨10.1145/1017753.1017792⟩. ⟨hal-01520545⟩
69 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More