A Calculus for Esterel
暂无分享,去创建一个
[1] Gordon D. Plotkin,et al. Call-by-Name, Call-by-Value and the lambda-Calculus , 1975, Theor. Comput. Sci..
[2] Olivier Tardieu,et al. A deterministic logical semantics for pure Esterel , 2007, TOPL.
[3] Michael Mendler,et al. Constructive Boolean circuits and the exactness of timed ternary simulation , 2012, Formal Methods Syst. Des..
[4] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[5] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[6] K. Schneider,et al. A new method for compiling schizophrenic synchronous programs , 2001, CASES '01.
[7] Paul R. Yarnold,et al. POP-PL: a patient-oriented prescription programming language , 2015, GPCE.
[8] Gérard Berry,et al. The constructive semantics of pure esterel , 1996 .
[9] Albert Benveniste,et al. The synchronous approach to reactive and real-time systems , 1991 .
[10] Benjamin C. Pierce,et al. Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[11] Robert de Simone,et al. ESTEREL: a formal method applied to avionic software development , 2000, Sci. Comput. Program..
[12] Ryan Newton,et al. LVars: lattice-based data structures for deterministic parallelism , 2013, FHPC '13.
[13] Xuejun Yang,et al. Finding and understanding bugs in C compilers , 2011, PLDI '11.
[14] Manuel Serrano,et al. Hiphop: a synchronous reactive extension for hop , 2011, PLASTIC '11.