SIGNAL: A declarative language for synchronous programming of real-time systems

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

Volumn 274 LNCS, Issue , 1987, Pages 257-277

  Gautier, Thierry ^a,c   Le Guernic, Paul ^c   Besnard, Loïc ^b,c  

^a CAMPUS DE BEAULIEU   (France)

^b CICB/CNRS ^*  (France)

^c Campus de Beaulieu ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; CLOCKS; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DATA TRANSFER; FUNCTIONAL PROGRAMMING; INTERACTIVE COMPUTER SYSTEMS; SEQUENTIAL MACHINES; SIGNAL PROCESSING;

CONDITIONAL DEPENDENCE; DATA FLOW LANGUAGE; DECLARATIVE LANGUAGES; DEPENDENCY ANALYSIS; MULTI PROCESSOR ARCHITECTURE; STRUCTURAL DESCRIPTIONS; SYNCHRONOUS PROGRAMMING; TEMPORAL RELATIONSHIPS;

REAL TIME SYSTEMS;

EID: 84935280957     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-18317-5_15     Document Type: Conference Paper

References (16)

1. Reference Manual for the ADA Programming Language; U.S. Department of Defense, 1983.
2. Manuel officiel de rdfdrence L TR 3 (indice 2); CELAR, Bruz, July 1985. OCCAM Programming
3. Manual; INMOS Limited, 1983.
4. C.A.R. HOARE: Communicating Sequential Processes; Comm. of the ACM 21 (8), August 1978, 866-677.
5. G. BERRY, L. COSSERAT: The ESTEREL Synchronous Programming Language and its Mathematical Semantics; Seminar on Concurrency, July 1984,
6. S.D. Brookes, A.W. Roscoe and G. Winskel, editors, Lect. Notes in Computer Science, 197, Springer Verlag, 1985, 389-448.
7. P. LE GUERNIC, A. BENVENISTE, P. BOURNAI, T. GAUTIER: SIGNAL: a data flow oriented language for signal processing; INRIA, Rennes, Research Report n ° 378, March 1985.
8. P. LE GUERNIC, A. BENVENISTE: Real-Time, Synchronous, Data-Flow Programming: the Language SIGNAL and its Mathematical Semantics; INRIA, Rennes, Research Report n ° 533, June 1986.
9. P. CASPI, N. HALBWACHS, D. PILAUD, J.A. PLAICE: LUSTRE: A declarative language for programming synchronous systems; 14th ACM Symp. on Principles of Programming Languages, Munich, January 1987.
10. W.W. WADGE, E.A. ASHCROFT: Lucid, the Dataflow Programming Language; Academic Press U.K., 1985.
11. A. BENVENISTE, P. LE GUERNIC: A denotational theory of synchronous communicating systems; IRISA, Rennes, Research Report n ° 360, May I987.
12. S. J. YOUNG: Real time languages: design and development; Ells Horwood publ., 1982.
13. G. KAHN: The semantics of a simple language for parallel programming; information Processing 74, J.L. Rosenfeld, editor, North-Holland, 1974, 471-475.
14. D. HAREL, A. PNUELI: On the Development of Reactive Systems; Logics and Models of Concurrent Systems, NATO ASI Series, Vol. F13, Springer-Verlag, 1985, 477-498.
15. T. GAUTIER, P. LE GUERNIC, A. BENVENISTE, P. BOURNAI: Programming real-time with events and data flow; Information Processing 86, Proceedings of the IFIP 10th World Computer Congress, September 1986, H.-J. Kugler, editor, North-Holland, 1986, 469-498.
16. B. LE GOFF, P. LE GUERNIC: Granules' help to sharing out a data flow graph over multiprocessor hardware; forthcoming paper.