Sign in

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines.

Jean-Louis ColaçoMichael MendlerBaptiste PaugetMarc 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