Synchronous Kahn Networks (1996)

Cached

Download Links

by Paul Caspi , Marc Pouzet
Citations:58 - 9 self

Documents Related by Co-Citation

488 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
786 The semantics of a simple language for parallel programming – G Kahn - 1974
201 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
247 LUSTRE: A declarative language for programming synchronous systems – P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice - 1987
671 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
14 Clocks as First Class Abstract Types – Jean-Louis Colaço, Marc Pouzet - 2003
159 Generalising Monads to Arrows – John Hughes - 1998
483 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
30 Clocks in Dataflow languages – P Caspi - 1992
15 Synchronous programming with events and relations: the SIGNAL language and its semantics – Jacquemot - 1991
91 The Esterel synchronous programming language and its mathematical semantics – G Berry, L Cosserat - 1985
480 Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing – Edward Ashford Lee, David - 1987
1312 Monads for functional programming – Philip Wadler - 1995
27 The SL Synchronous Language – Frederic Boussinot, Calcul Symbolique, Robert de Simone, Robert De Simone - 1996
24 Towards a higher-order synchronous data-flow language – Jean-louis Colaço, Grégoire Hamon, Alain Girault, Marc Pouzet - 2004
18 A Co-iterative Characterization of Synchronous Stream Functions – Paul Caspi, Marc Pouzet - 1997
50 Functional reactive programming, continued – Henrik Nilsson, Antony Courtney, John Peterson - 2002
48 A new notation for arrows – Ross Paterson - 2001
17 Le Guernic, and Löic Besnard. Signal: A declarative language for synchronous programming of real-time systems – Thierry Gautier, Paul - 1987