LUSTRE: A declarative language for programming synchronous systems

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn Part F130236, Issue , 1987, Pages 178-188

  Caspi, P ^a   Pilaud, D ^a   Halbwachs, N ^b   Plaice, J A ^b  

^a Laboratoire Circuits et Systèmes ^*  (France)

^b Laboratoire d'Informatique de Grenoble   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; SEMANTICS;

DECLARATIVE LANGUAGES; INFERENCE RULES; INFORMAL PRESENTATION; PROGRAM TRANSFORMATIONS; PROGRAMMING SYSTEM; REAL TIME; SYNCHRONOUS DATA-FLOW LANGUAGES; SYNCHRONOUS SYSTEM;

REAL TIME SYSTEMS;

EID: 85022163068     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/41625.41641     Document Type: Conference Paper

References (22)

1. E. A. Ashcroft and W. W. Wadge. LUCID, the Data-Flow Programming Language. Academic Press, 1985.
2. D. Austry and G. Boudol. Algèbre de processus et synchronisation. Theor. Comp. Sci., 30(1):91-131, 1984.
3. S. A. Babiker, R. A. Fleming, and R. E. Milne. A Tutorial for LTS. Technical Report 225.84.1, Standard Telecommunication Laboratories, 1984.
4. J-L. Bergerand. LUSTRE: Un langage déclaratif pour le temps réel. PhD thesis, University of Grenoble, 1986.
5. J-L. Bergerand, P. Caspi, N. Halbwachs, D. Pilaud, and E. Pilaud. Outline of a real-time data-flow language. In Real-time Systems Symposium, pages 33-42, San Diego, 1985.
6. J-L. Bergerand, P. Caspi, N. Halbwachs, and J. A. Plaice. Automatic control systems programming using a real-time declarative language. In 4th IFAC/IFIP Symposium on Software for Computer Control (SO-COCO), Graz, Austria, 1986.
7. G. Berry and L. Cosserat. The ESTEREL synchronous programming language and its mathematical semantics. In S. D. Brookes, A. W. Roscoe, and G. Winskel, editors, Seminar in Concurrency, Springer-Verlag, 1985.
8. G. Berry and R. Sethi. From Tegular expressions to deterministic automata. To appear, 1986.
9. C. Buors. Sémantique opérationnelle du langage LUSTRE. Master's thesis, University of Grenoble, 1986.
10. E. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications: a practical approach. Technical Report, Carnegie-Mellon, 1983.
11. G. Gonthier. Private communication, 1985.
12. N. Halbwachs, A. Longchampt, and D. Pilaud. Describing and designing circuits by means of a synchronous declarative language. In IFIP Working Conference from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, 1986.
13. N. Halbwachs and D. Pilaud. Prom a real-time dataflow language to a multiple time-scale temporal logic. In preparation, 1986.
14. N. Halbwachs and D. Pilaud. Use of a real-time declarative language for systolic array design and simulation. In International Workshop on Systolic Arrays, Oxford, 1986.
15. D. Harel. Statecharts: a visual approach to complex systems. In Advanced NATO Institute on Logics and Models for Verification and Specification of Concurrent Systems, La Colle-sur-Loup, France, 1984.
16. G. Kahn. The semantics of a simple language for parallel programming. In IFIP Congress, 1974.
17. P. le Guernic, A. Benveniste, P. Bournai, and T. Gautier. SIGNAL: a data-flow oriented language for signal processing. Technical Report 378, INRIA, 1985.
18. J. R. McGraw. The Val language: description and analysis. ACM Trans, on Prog. Lang, and Syst., 4(1):44-82, 1982.
19. R. Milner. Calculi for synchrony and asynchrony. Theor. Comp. Sci., 25(3):267-310, 1983.
20. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Århus University, 1981.
21. J. P. Queille and J. Sifakis. Specification and verification of concurrent systems in cesar. In International Symposium of Programming, Springer-Verlag, 1983.
22. M. Sheeran. muFP, a language for VLSI design. In ACM Symposium on Lisp and Functional Programming, Austin, Texas, 1984.