PLDI 2018 (series) / LCTES 2018 (series) / LCTES 2018 /
A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
Tue 19 Jun 2018 11:50 - 12:15 at Discovery AB - Full paper session on Programming Languages
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.
Tue 19 Jun
11:00 - 11:25 Full-paper | James DevineLancaster University, Joe Finney, Peli de HalleuxMicrosoft Research, Michał MoskalMicrosoft Research, Thomas BallMicrosoft Research, Steve HodgesMicrosoft | |||||||||||||||||||||||||||||||||||||||||
11:25 - 11:50 Full-paper | ||||||||||||||||||||||||||||||||||||||||||
11:50 - 12:15 Full-paper | Guilherme F. LimaPUC-Rio, Rodrigo C. M. SantosPUC-Rio, Edward Hermann HaeuslerPUC-Rio, Roberto IerusalimschyPUC-Rio, Francisco Sant'AnnaRio de Janeiro State University |