Esterel programming language
GPTKB entity
Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:category |
domain-specific programming languages
concurrent programming languages synchronous programming languages |
| gptkbp:designedFor |
embedded systems
reactive systems |
| gptkbp:developer |
gptkb:French_National_Institute_for_Research_in_Computer_Science_and_Automation_(INRIA)
gptkb:Gérard_Berry |
| gptkbp:fileExtension |
.strl
|
| gptkbp:firstAppearance |
1983
|
| gptkbp:implementedIn |
gptkb:Esterel_Studio
Esterel Compiler |
| gptkbp:influenced |
Lustre programming language
Signal programming language SyncCharts synchronous programming languages |
| gptkbp:license |
open source
|
| gptkbp:notableFeature |
formal verification support
deterministic concurrency precise timing control synchronous semantics |
| gptkbp:paradigm |
synchronous programming
|
| gptkbp:usedFor |
hardware design
safety-critical systems control-dominated systems |
| gptkbp:website |
https://www.esterel-technologies.com/
|
| gptkbp:bfsParent |
gptkb:Gérard_Berry
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Esterel programming language
|