Esterel

Known as: Esterel language, Esterel programming language 
Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
ESTEREL is a synchronous design language for the specification of reactive systems. Thanks to its compact formal semantics, code… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 7
  • figure 8
Is this relevant?
2004
2004
Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
2004
2004
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems… (More)
  • table 1
  • figure 2
  • figure 3
  • table 2
  • figure 4
Is this relevant?
2002
2002
Producing efficient circuits from high-level language descriptions remains a problem. This paper proposes three techniques for… (More)
Is this relevant?
2000
2000
Embedded real-time software systems often need fine-grained parallelism and precise control over time, things typical real-time… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
1 Preface We present a new semantical framework for Esterel, the constructive framework. After a detailed explanation of the… (More)
  • figure 11.5
  • figure 11.8
  • figure 11.14
  • figure 11.16
Is this relevant?
1995
1995
A new compilation scheme is proposed for the synchronous language Esterel. The compilation is based on a new intermediate… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We present the ESTEREL programming language which is especially designed to program reactive systems, that is systems which… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Esterel is a synchronous concurrent programming language d edicated to reactive systems (controllers, protocols, man-machine… (More)
  • figure 2
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We present the basics of the ESTEREL reactive model of synchronous parallel systems. We illustrate the ESTEREL programming style… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?