Facing digital agriculture challenges with knowledge engineering
Marcelo Nery Dos Santos, Rodrigo Santos, et al.
AI4I 2018
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.
Marcelo Nery Dos Santos, Rodrigo Santos, et al.
AI4I 2018
Marcio Moreno, Guilherme Lima, et al.
ISM 2019
Marcio Moreno, Rodrigo Santos, et al.
ICIS 2019
Sandro Rama Fiorini, Vitor Lourenco, et al.
AI4I 2019