.png){kind=icon}
Return
A memory-bounded, deterministic and terminating semantics for the synchronous programming language CEU
.png){kind=icon}
PRE
AI
DOI：10.1016/j.sysarc.2019.01.014.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
CEU is a synchronous programming language for embedded soft real-time systems. It focuses on control-flow safety features in the presence of shared-memory concurrency and abortion of lines of execution, while enforcing memory-bounded, deterministic, and terminating reactions to the environment. In this work, we present a small step structural operational semantics for CEU and prove that reactions have the properties enumerated above: that for a given arbitrary timeline of input events, multiple executions of the same program always react in bounded time and arrive at the same final finite memory state.
Keywords:
Determinism
Termination
Operational semantics
Synchronous languages
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.1
Papers:
3.0K
Citations:
4.2K
Organization
Cited Papers
.png){kind=icon}
ShareSaveShareSave