A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu

Céu 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 t...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of systems architecture Ročník 97; s. 239 - 257
Hlavní autoři: Lima, Guilherme F., Santos, Rodrigo C.M., Ierusalimschy, Roberto, Haeusler, Edward H., Sant’Anna, Francisco
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 01.08.2019
Témata:
Determinism
Operational semantics
Synchronous languages
Termination
Determinism
Termination
Synchronous languages
Operational semantics
ISSN:1383-7621, 1873-6165
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Céu 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 Céu 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.
ISSN:1383-7621
1873-6165
DOI:10.1016/j.sysarc.2019.01.014