H ?
«
‹
←
→
›
»
Language peer sets for Esterel:
France↑
France/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Experimental and other ↑
Experimental and other/1984↑
Experimental and other/fr ↑
Esterel(ID:1081/est002)
alternate simple view
Country: France
Designed 1984
Published: 1984
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.
Related languages
References:
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
Extract:
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"
Abstract
Online copy
Berry, Gerard (1998) Berry, Gerard "The Foundations of Esterel" in Proof, Language and Interaction: Essays in Honour of Robin Milner MIT Press, 1998
Online copy
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|