The synchronous data flow programming language LUSTRE
作者： N. Halbwachs , P. Caspi , P. Raymond , D. Pilaud
DOI: 10.1109/5.97300
关键词:
摘要: … This paper describes the language LUSTRE which is a data flow … The data flow aspect of LUSTRE makes it very close to usual … Finally, the LUSTRE formalism is very similar to temporal …
core.ac.uk
ucf.edu 
sci-hub.se 参考文章(22)
E.A. Ashcroft, W.W. Wadge, LUCID: The data flow programming language Academic Press,Orlando, FL. ,(1985)
Gérard Berry, Real time programming : special purpose or general purpose languages ifip congress. pp. 11- 17 ,(1989)
Daniel Pilaud, Nicolas Halbwachs, From a synchronous declarative language to a temporal logic dealing with multiform time Systems, Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. pp. 99- 110 ,(1988) , 10.1007/3-540-50302-1_5
A. Bouajjani, J-C. Fernandez, N. Halbwachs, Minimal Model Generation computer aided verification. pp. 197- 203 ,(1990) , 10.1007/BFB0023733
Ghislaine Thuau, Daniel Pilaud, Using the Declarative Language LUSTRE for Circuit Verification Springer, London. pp. 313- 331 ,(1991) , 10.1007/978-1-4471-3544-9_17
D. Harel, A. Pnueli, On the development of reactive systems Logics and models of concurrent systems. pp. 477- 498 ,(1989) , 10.1007/978-3-642-82453-1_17
Joseph Sifakis, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron, Verification in XESAR of the Sliding Window Protocol Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII. pp. 235- 248 ,(1987)
Ben Moszkowski, Zohar Manna, Reasoning in interval temporal logic Logics of Programs. pp. 371- 382 ,(1984) , 10.1007/3-540-12896-4_374
Gilles Kahn, The Semantics of a Simple Language for Parallel Programming. ifip congress. pp. 471- 475 ,(1974)
Daniel Pilaud, John Plaice, Paul Caspi, Nicolas Halbwachs, LUSTRE: A declarative language for programming synchronous systems* POPL. pp. 178- 188 ,(1987)