Introducing jumps in Esterel
INRIA Sophia Antipolis
2004, route des Lucioles BP 93, 06902 Sophia Antipolis Cedex, FRANCE

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)