Language peer sets for Esterel:
Designed 1984 ↑
1980s languages ↑
Late Cold War↑
Experimental and other ↑
Experimental and other/1984↑
Experimental and other/fr ↑
alternate simple view
Sammet category: Experimental and other
Distributed language for synchronous interaction of real-time systems with their environment. Uses explicit timing requests.
Esterel programs are compiled into finite automata.
Berry, G. (1985) Berry, G. and I. Cosserat. The ESTEREL synchronous programming language and its mathematical semantics. In S. Brookes and G. Winskel, editors, Seminar on Concurrency, pages 389--448, 1985. Lecture Notes in Computer Science 197.
Liu, L. Y. H. and Shyamasundar, R. K. (1989) Liu, L. Y. H. and Shyamasundar, R. K. "An operational semantics of real time design language RT-CDL" Proceedings of the 5th International Workshop on Software Specifications & Design Pittsburgh, Pennsylvania, United States 1989 pp75-82
Motivation and Related Work
Frederic Boussinot and Robert de Simone. (1991) Frederic Boussinot and Robert de Simone. The ESTEREL language.
Technical Report 1487, INRIA Sophia-Antipolis, July 1991.
Claude Castelluccia, Walid Dabbous, and Sean O’Mal (1996) Claude Castelluccia, Walid Dabbous, and Sean O’Malley. Generating
efficient protocol code from an abstract specification. In Proceedings of
the ACM SIGCOMM 1996 Conference, pages 60–71, August 1996.
Berry, Gérard (1998) Berry, Gérard "The Esterel v5 Language Primer Version 5.10, release 2.0"
Berry, Gerard (1998) Berry, Gerard "The Foundations of Esterel" in Proof, Language and Interaction: Essays in Honour of Robin Milner MIT Press, 1998