Abstract | ||
---|---|---|
The synchronous language Esterel provides determinate concurrency for reactive systems. Determinacy is ensured by the signal coherence rule, which demands that signals have a stable value throughout one reaction cycle. This is natural for the original application domains of Esterel, such as controller design and hardware development; however, it is unnecessarily restrictive for software development. Sequentially Constructive Esterel (SCEst) overcomes this restriction by allowing values to change instantaneously, as long as determinacy is still guaranteed, adopting the recently proposed Sequentially Constructive model of computation. SCEst is grounded in the minimal Sequentially Constructive Language (scl), which also provides a novel semantic definition and compilation approach for Esterel.
|
Year | DOI | Venue |
---|---|---|
2018 | 10.1145/3063129 | ACM Trans. Embedded Comput. Syst. |
Keywords | Field | DocType |
Synchronous languages, esterel, sequential constructiveness | Programming language,Concurrency,Constructive,Computer science,Parallel computing,Coherence (physics),Model of computation,Esterel,Reactive system,Determinacy,Software development | Journal |
Volume | Issue | ISSN |
17 | 2 | 1539-9087 |
Citations | PageRank | References |
2 | 0.38 | 16 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Steven Smyth | 1 | 33 | 6.51 |
Christian Motika | 2 | 27 | 5.11 |
Karsten Rathlev | 3 | 4 | 0.78 |
Reinhard von Hanxleden | 4 | 412 | 47.20 |
Michael Mendler | 5 | 314 | 34.60 |