A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.

Albert Benveniste, Timothy Bourke, Benot Caillaud, Marc Pouzet

Browse the full EMSOFT paper archive.