A sequentially constructive circuit semantics for Esterel Article Swipe
Alexander Schulz-Rosengarten
,
Steven Smyth
,
Reinhard von Hanxleden
,
Michael Mendler
·
YOU?
·
· 2018
· Open Access
·
· DOI: https://doi.org/10.21941/bii/1801
YOU?
·
· 2018
· Open Access
·
· DOI: https://doi.org/10.21941/bii/1801
Static Single Assignment (SSA) is an established concept that facilitates various program optimizations. However, it is typically restricted to sequential programming. We present an approach that extends SSA for concurrent, reactive programming, specifically for the synchronous language Esterel. This extended SSA transformation expands the class of programs that can be compiled by existing Esterel compilers without causality problems. It also offers a new, efficient solution for the well-studied signal reincarnation problem. Finally, our approach rules out speculation/backtracking, unlike the recently proposed sequentially constructive model of computation.
Related Topics To Compare & Contrast
Concepts
No concepts available.
Metadata
- Type
- report
- Language
- en
- Landing Page
- https://doi.org/10.21941/bii/1801
- https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00003088/tr-1801.pdf
- OA Status
- gold
- OpenAlex ID
- https://openalex.org/W4415227832
All OpenAlex metadata
Raw OpenAlex JSON
No additional metadata available.