Name
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, which also provides a novel semantic definition and compilation approach for Esterel. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/MEMCOD.2015.7340462 | MEMOCODE |
Keywords | DocType | Citations |
SCEst,sequentially constructive Esterel,synchronous language,Esterel language,reactive systems concurrency,determinacy,signal coherence rule,reaction cycle,controller design,hardware development,software development,sequentially constructive model,sequentially constructive language,semantic definition,compilation approach | Conference | 2 |
PageRank | References | Authors |
0.40 | 9 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Karsten Rathlev | 1 | 4 | 0.78 |
| Steven Smyth | 2 | 33 | 6.51 |
| Christian Motika | 3 | 27 | 5.11 |
| Reinhard von Hanxleden | 4 | 412 | 47.20 |
| Michael Mendler | 5 | 314 | 34.60 |