Ecole des Mines de Paris, CMA

Several efficient compilation techniques have been re-cently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct sim-ulation of the reactive features of the language, these tech-niques need now to be accommodated with traditional is-sues of Esterel – the definition of formal semantics, the con-structive causality, and the design of efficient and correct methods for analysis and optimization. We address some of these problems by defining a new intermediate model for the representation of Esterel pro-grams. The new representation level preserves much of the initial program structure while making the control flow pat-tern and the hierarchical state structure explicit. It sup-ports the full Esterel semantics, and it is a good support for efficient analysis, optimization, and code generation algo-rithms based on static analysis