Esterel
Sign in to saveEsterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is well suited for control-dominated model designs.
Official website
Link to the official site · 8,136 chars · not written by Vinony
Wikidata facts
- Official website
- www-sop.inria.fr/meije/esterel/esterel-eng.html
Show 1 more fact
- inception
- 1980-00-00
Sources (2)
via Wikidata · CC0
~6 min read
Article
13 sectionsContents
- The multiform notion of time
- Signals
- Signal coherence rules
- The language statements
- Primitive Esterel statements
- Derived Esterel statements
- Other Esterel statements
- Example (ABRO)
- Advantages of Esterel
- Disadvantages of Esterel
- See also
- References
- External links
Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is well suited for control-dominated model designs.
The development of the language started in the early 1980s, and was mainly carried out by a team of Ecole des Mines de Paris and INRIA led by Gérard Berry in France. Current compilers take Esterel programs and generate C code or hardware (RTL) implementations (VHDL or Verilog).