Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
Automata-based programmingAverestClock Constraints Specification LanguageFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
LusSy: a toolbox for the analysis of systems-on-a-chip at the transactional level
We describe a toolbox for the analysis of systems-on-a-chip described in SystemC at the transactional level. The tools are able… 
2004
2004
Towards direct execution of esterel programs on reactive processors
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems… 
Highly Cited
2003
Highly Cited
2003
Optimizations for faster execution of Esterel programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel… 
Review
2001
Review
2001
Argos: an automaton-based synchronous language
Highly Cited
2001
Highly Cited
2001
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
The correct behavior of real-time applications depends not only on the correctness of the results of computations but also on the… 
Review
2000
Review
2000
An Overview of SAL
To become practical for assurance, automated formal methods must be made more scalable, automatic, and cost-effective. Such an… 
Highly Cited
2000
Highly Cited
2000
The foundations of Esterel
  • G. Berry
  • Proof, Language, and Interaction
  • 2000
  • Corpus ID: 6489301
Highly Cited
1995
Highly Cited
1995
Realtime Signal Processing Data∞ow, Visual, and Functional Programming
This thesis presents and justifies a framework for programming real-time signal processing systems. The framework extends the… 
Highly Cited
1992
Highly Cited
1992
A hardware implementation of pure ESTEREL
Abstractesterel is a synchronous concurrent programming language dedicated to reactive systems (controllers, protocols, man… 
Highly Cited
1992
Highly Cited
1992
Compiling Real-Time Specifications into Extended Automata
A method for the implementation and analysis of real-time systems, based on the compilation of specification extended automata is… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)