Towards a higher-order synchronous data-flow language (2004)

Cached

Download Links

by Jean-louis Colaço , Grégoire Hamon , Alain Girault , Marc Pouzet
Venue:In EMSOFT’04
Citations:28 - 3 self

Documents Related by Co-Citation

500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
680 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
497 Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems – Joseph Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt - 1992
808 The semantics of a simple language for parallel programming – G Kahn
721 Types and programming languages – Benjamin C Pierce - 2002
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
491 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
488 Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing – Edward Ashford Lee, David - 1987
407 Synchronous Programming of Reactive Systems – Nicolas Halbwachs - 1993