Loading [a11y]/accessibility-menu.js
SCEst: Sequentially constructive esterel | IEEE Conference Publication | IEEE Xplore

SCEst: Sequentially constructive esterel


Abstract:

The synchronous language Esterel provides determinate concurrency for reactive systems. Determinacy is ensured by the “signal coherence rule,” which demands that signals ...Show More

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.
Date of Conference: 21-23 September 2015
Date Added to IEEE Xplore: 03 December 2015
ISBN Information:
Conference Location: Austin, TX, USA

Contact IEEE to Subscribe

References

References is not available for this document.