Modular resetting of synchronous data-flow programs

Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn , Issue , 2000, Pages 289-299

  Hamon, Grégoire ^a   Pouzet, Marc ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

Data flow; Functional languages; Hybrid systems; Reactive systems; Synchronous language

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; SEMANTICS;

SYNCHRONOUS DATA-FLOW PROGRAMS;

DATA FLOW ANALYSIS;

EID: 0034592768     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. C. J. A. Benveniste, P. LeGuernic. Synchronous programming with events and relations: The Signal language and its semantics. Science of Computer Programming, 16:103-149, 1991.
2. T. Amagbegnon, L. Besnard, and P. L. Guernic. Implementation of the data-flow synchronous language signal. In Programming Languages Design and Implementation (PLDI), pages 163-173. ACM, 1995.
3. E. A. Ashcroft and W. W. Wadge. Lucid, the data-flow programming language. Academic Press, 1985.
4. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 96:87-152, 1992.
5. P. Caspi and M. Pouzet. A Co-iterative Characterization of Synchronous Stream Functions. In Workshop on Coalgebraic Methods in Computer Science (CMCS'93), ENTCS, 28-29 March 1998. Available as a VERIMAG tech. report no. 97-07.
6. P. Caspi and M. Pouzet. Lucid synchrone, a functional extension of lustre. Technical report, Université Pierre et Marie Curie, Laboratoire LIP6, 2000.
7. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
8. N. Halbwachs, P. Raymond, and C. Ratel. Generating efficient code from data-flow programs. In Third International Symposium on Programming Language Implementation and Logic Programming, Passau (Germany), August 1991.
9. S. P. Jones and J. H. (editors). Report on the programming language haskell 98. Technical report, http://haskell.org, 1999.
10. M. Jourdan, F. Lagnier, F. Maraninchi, and P. Raymond. A multiparadigm language for reactive systems. In IEEE International Conference on Computer Languages (ICCL), Toulouse, France), 1994.
11. X. Leroy. The Objective Carol System - release 2.02. INRIA, 1999.
12. J. R. Lewis, M. B. Shields, E. Meijer, and J. Launchburry. Implicit parameters: Dynamic scoping with static types. In International Conference on Principles of Programming Languages (POPL). ACM, 2000.
13. F. Maraninchi. The Argos Language: Graphical Representation of Automata and Description of Reactive Systems. In IEEE Workshop on Visual Languages, Kobe, Japan, october 1991.
14. F. Maraninchi and Y. Rémond. Compositionality criteria for defining mixed-styles synchronous languages. In International Symposium: Compositionality - The Significant Difference, Malente (Holstein, Germany), Sept. 1997. Springer Verlag.
15. F. Maraninchi and Y. Rémond. Mode-automata: About modes and states for reactive systems. In European Symposium On Programming, Lisbon (Portugal), Mar. 1998. Springer verlag.
16. A. Poigné and L. Holenderski. On the combination of synchronous languages. In W. Roever, editor, Workshop on Compositionality: The Significant Difference, volume LNCS 1536, pages 490-514, Malente, September 8-12 1997. Springer Verlag.
17. E. Rutten and P. L. Guernic. Sequencing data flow tasks in Signal. In ACM Sigplan Workshop on Language. Compiler and Tool support for real-time systems, Orlando, 1994.