Abstract:
We introduce a "goto" instruction in the ESTEREL language, which acts as a non-instantaneous jump instruction compatible with concurrency. We provide the formal semantics of the extended language. We sketch two key applications of our new primitive: a direct encoding of automata and a quasi-linear rewriting of programs eliminating schizophrenic behaviors.

Slides (.pdf)