Paper Info
Title
A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu.
Abstract
Céu is a synchronous programming language for embedded soft real-time systems. It focuses on control-flow safety features, such as safe shared-memory concurrency and safe 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 a proof 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.
Year
DOI
Venue
2018
10.1145/3211332.3211334
LCTES
Keywords
Field
DocType
Determinism, Operational semantics, Synchronous languages, Termination
Operational semantics,Programming language,Computer science,Determinism,Concurrency,Theoretical computer science,Timeline,Synchronous programming language,Normalization property,Semantics,Bounded function
Conference
Volume
Issue
ISSN
53
6
0362-1340
ISBN
Citations 
PageRank 
978-1-4503-5803-3
0
0.34
References 
Authors
13
5
Name
Order
Citations
PageRank
Rodrigo C.M. Santos1169.30
Guilherme Augusto Ferreira Lima2133.76
Francisco Sant'Anna3325.38
Roberto Ierusalimschy446354.25
Edward Hermann Haeusler510233.20