Towards leveraging the music industry with hyperknowledge
Sandro Rama Fiorini, Vitor Lourenco, et al.
AI4I 2019
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.
Sandro Rama Fiorini, Vitor Lourenco, et al.
AI4I 2019
Marcio Moreno, Wallas Santos, et al.
AI4I 2019
Sumit Neelam, Udit Sharma, et al.
ACL-Findings 2022
Marcio Moreno, Wallas Santos, et al.
ISM 2018