Achille Fokoue, Ibrahim Abdelaziz, et al.
IJCAI 2023
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.
Achille Fokoue, Ibrahim Abdelaziz, et al.
IJCAI 2023
Sumit Neelam, Udit Sharma, et al.
ACL-Findings 2022
Marcio Moreno, Rodrigo Santos, et al.
ISWC-Posters-Demos-Industry 2018
Elton Soares, Raphael Thiago, et al.
ISWC-Posters 2020