论文信息 - Towards Recursive Block Diagrams - 字舞流文

Towards Recursive Block Diagrams

[1] D. A. Turner,et al. A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..

[2] P. Le Guernic,et al. Hybrid dynamical systems theory and the Signal language , 1990 .

[3] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[4] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[5] Nicolas Halbwachs,et al. Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE , 1992, IEEE Trans. Software Eng..

[6] Nicolas Halbwachs,et al. Projet SYNCHRONE : les formats communs des langages synchrones , 1993 .