Esterel

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:designedBy gptkb:Gérard_Berry
gptkbp:designedFor reactive systems
gptkbp:firstAppearance 1983
gptkbp:hasFeature preemption
deterministic concurrency
synchronous semantics
https://www.w3.org/2000/01/rdf-schema#label Esterel
gptkbp:implementedIn gptkb:Esterel_Studio
Esterel Compiler
gptkbp:influenced gptkb:Lustre
Signal
gptkbp:influencedBy synchronous programming languages
gptkbp:license various (open source and commercial)
gptkbp:paradigm synchronous programming
gptkbp:usedFor embedded systems
hardware design
control-dominated systems
gptkbp:website https://www.esterel-technologies.com/
gptkbp:bfsParent gptkb:Gérard_Berry
gptkbp:bfsLayer 7