Author:
Maraninchi F.,Halbwachs N.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. G. Berry. The constructive semantics of Esterel. in preparation.
2. G. Berry. A hardware implementation of pure esterel. In ACM Workshop on Formal Methods in VLSI Design, Miami, January 1991.
3. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, 19(2):87–152, 1992.
4. C2A-SYNCHRON. The common format of synchronous languages — The declarative code DC version 1.0. Technical report, SYNCHRON project, October 1995.
5. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mechanized semantics and verified compilation for a dataflow synchronous language with reset;Proceedings of the ACM on Programming Languages;2020-01
2. A formally verified compiler for Lustre;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14
3. Visualizing graphical and textual formalisms;Information Systems;2003-10
4. Argos: an automaton-based synchronous language;Computer Languages;2001-04
5. Synchronous programming of reactive systems;Computer Aided Verification;1998