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

Colaço, Jean-LouisJean-LouisColaçoMendler, MichaelMichaelMendlerPauget, BaptisteBaptistePaugetPouzet, MarcMarcPouzet2025-07-082025-07-0820231539-90871558-3465https://fis.uni-bamberg.de/handle/uniba/108553engA Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machinesarticle10.1145/3609131https://dl.acm.org/doi/pdf/10.1145/3609131