A Co-iterative Characterization of Synchronous Stream Functions (1997)

Cached

Download Links

by Paul Caspi , Marc Pouzet
Citations:18 - 4 self

Active Bibliography

58 Synchronous Kahn Networks – Paul Caspi, Marc Pouzet - 1996
6 A Functional Extension To Lustre – Paul Caspi, Marc Pouzet - 1995
Réseaux de Kahn synchrones – Paul Caspi, Marc Pouzet, Projet Inria-spectre, Flots De Donn'ees
24 Towards a higher-order synchronous data-flow language – Jean-louis Colaço, Grégoire Hamon, Alain Girault, Marc Pouzet - 2004
A PVS Proof Obligation Generator for Lustre Programs – Cécile Canovas-Dumas, Paul Caspi - 2000
8 A methodology for proving control systems with Lustre and PVS – S. Bensalem, P. Caspi, C. Parent-Vigouroux, C. Dumas - 1999
21 Guernic, Data-flow synchronous languages – Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs - 1994
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
Research Article Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation – Lionel Morel
488 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
Deductive Proofs of Data-flow Programs 1 – Og Ra Ms
Lucid Synchrone - version 2.0: Tutorial and reference manual – Marc Pouzet, I Lucid Synchrone - 2001
5 Type-based Initialization Analysis of a Synchronous Data-flow Language – Jean-Louis Colaço, Marc Pouzet - 2002
13 Embedded control: from asynchrony to synchrony and back – Paul Caspi - 2001
19 Component-based construction of deadlock-free systems – Gregor Gössler, Joseph Sifakis - 2003
24 Composition for Component-Based Modeling – Gregor Gössler, Joseph Sifakis - 2005
4 Modular Causality in a Synchronous Stream Language – Pascal Cuoq, Marc Pouzet - 2001
1 Semantics and Compilation of Recursive Sequential Streams in 8 1/2 – Jean-Louis Giavitto, Dominique De Vito, Olivier Michel - 1997
9 When is a function a fold or an unfold – Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch - 2001