Generating efficient code from data-flow programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 528 LNCS, Issue , 1991, Pages 207-218

  Halbwachs, Nicolas ^a   Raymond, Pascal ^a   Ratel, Christophe ^b  

^a IMAG LGI ^*  (France)

^b SES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; DATA TRANSFER;

BOOLEAN VARIABLES; COMPILE TIME; DATA FLOW PROGRAM; EFFICIENT CONTROL; SYNCHRONOUS DATA-FLOW LANGUAGES;

LOGIC PROGRAMMING;

EID: 85031295381     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54444-5_100     Document Type: Conference Paper

References (18)

1. A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.
2. E. A. Ashcroft and W. W. Wadge. LUCID, the data-flow programming language. Academic Press, 1985.
3. J-L. Bergerand, P. Caspi, N. Halbwachs, and J. Plaice. Automatic control systems programming using a real-time declarative language. In IFAC/IFIP Symp. ’SOCOCO 86, may 1986.
4. A. Bouajjani, J. C. Fernandez, and N. Halbwachs. Minimal model generation. In Workshop on Computer-Aided Verification, june 1990.
5. G. Berry and G. Gonthier. The synchronous programming language ESTEREL, design, semantics, implementation. Technical Report 327, INRIA, 1985. to appear in Science of Computer Programming.
6. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.
7. J. A. Brzozowski. Derivative of regular expressions. JACM, 11(4), 1964.
8. G. Berry and R. Sethi. From regular expressions to deterministic automata. TCS, 25(1), 1987.
9. P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. LUSTRE: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, january 1987.
10. J. C. Fernandez. An implementation of an efficient algorithm for bisimulation equivalence. Science of Computer Programming, 13(2-3), may 1990.
11. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, Special Issue on Synchronous Programming, To appear, 1991.
12. G. Kahn. The semantics of a simple language for parallel programming. In IFIP 74, North Holland, 1974.
13. J. R. Me Graw. The Val language: description and analysis. TOPLAS, 4(1), january 1982.
14. J. A. Plaice. Sémantique et compilation de Lustre, un langage déclaratif synchrone. Thesis, Institut National Polytechnique de Grenoble, 1988.
15. G. D. Plotkin. A structural approach to operational semantics. Lecture Notes, Aarhus University, 1981.
16. N.S. Prywes and A. Pnueli. Compilation of nonprocedural specifications into computer programs. IEEE Transactions on Software Engineering, SE-9(3), may 1983.
17. J. A. Plaice and J-B. Saint. The LUSTRE-ESTEREL portable format. 1987. Unpublished Report, INRIA, Sophia Antipolis.
18. R. Paige and R. Tarjan. Three partition refinement algorithms. SIAM J. Comput., 16(6), 1987.