Login / Signup
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines.
Jean-Louis Colaço
Michael Mendler
Baptiste Pauget
Marc Pouzet
Published in:
ACM Trans. Embed. Comput. Syst. (2023)
Keyphrases
</>
data flow
state machines
control flow
programming language
database machine
state machine
specification language
systolic array
genetic algorithm