A Hybrid Synchronous Language with Hierarchical Automata

A Hybrid Synchronous Language with Hierarchical Automata Static Typing and Translation to Synchronous Code Albert Benveniste1 Benoît Caillaud1 Timothy Bourke1,2 Marc Pouzet2,1 1. INRIA 2. ENS, Paris 18th Workshop SYNCHRON, Nov. 28 – Dec. 2, 2011, Damarie-les-Lys

• flow well


• programming languages perspective


• well understood


• discrete systems


• hybrid modelers


• purely discrete