Towards a Higher-order Synchronous Data-flow Language

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01520545
Contributor : Lip6 Publications <>
Submitted on : Wednesday, May 10, 2017 - 3:43:34 PM
Last modification on : Thursday, March 21, 2019 - 2:32:17 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

80