Semantics and Compilation of Recursive Sequential Streams in 8 1/2 (1997)

Cached

Download Links

by Jean-Louis Giavitto , Dominique De Vito , Olivier Michel
Citations:1 - 0 self

Active Bibliography

3 Semantics and compilation of sequential streams into a static SIMD code for the declarative data-parallel language – Dominique De Vito - 1996
Scientific Report of the HDR application file. – unknown authors - 1998
6 8 1/2: Data-Parallelism and Data-Flow – Olivier Michel, Dominique De Vito, Jean-Paul Sansonnet - 1996
Design and Implementation of 8½, a Declarative Data-Parallel Language – Olivier Michel - 1995
7 A Data-Parallel Declarative Language for the Simulation of Large Dynamical Systems and Its Compilation – Olivier Michel, Jean-Louis Giavitto, Jean-Paul Sansonnet - 1994
24 Towards a higher-order synchronous data-flow language – Jean-louis Colaço, Grégoire Hamon, Alain Girault, Marc Pouzet - 2004
28 Implementation of the Data-flow Synchronous Language SIGNAL – Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic - 1995
5 Design and Implementation of a Declarative Data-Parallel Language – Olivier Michel, Jean-Louis Giavitto - 1994
Data Flow Fusion with Series Expressions in Haskell – Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
Synchronous Modeling and Asynchronus Deployment of Mobile Processes – Jean-Pierre Talpin - 1305
92 The synchronous languages twelve years later – Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone - 2003
Programming Languages: Specification – Basant Rajan - 1998
80 Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE – Nicolas Halbwachs, Fabienne Lagnier, Christophe RATEL - 1994
6 A Functional Extension To Lustre – Paul Caspi, Marc Pouzet - 1995
58 Synchronous Kahn Networks – Paul Caspi, Marc Pouzet - 1996
A denotational theory of synchronous reactive – Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine
34 The semantics and execution of a synchronous blockdiagram language – Stephen A. Edwards, Edward A. Lee
1 Debugging Reactive Systems in Haskell – Amr Sabry, Jan Sparud - 1997