Instantaneous Transitions in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Separate compilation for synchronous programs
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
STARPro --- A new multithreaded direct execution platform for Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
A new multithreaded architecture supporting direct execution of Esterel
EURASIP Journal on Embedded Systems
Compiling Esterel into Static Discrete-Event Code
Electronic Notes in Theoretical Computer Science (ENTCS)
Static data-flow analysis of synchronous programs
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
A higher-order extension for imperative synchronous languages
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
Separate compilation and execution of imperative synchronous modules
Proceedings of the Conference on Design, Automation and Test in Europe
Separate compilation for synchronous modules
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Passive code in synchronous programs
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
| Hi-index | 0.00 |
Several efficient compilation techniques have been recentlyproposed for the generation of sequential (C) codefrom Esterel programs. Consisting essentially in direct simulationof the reactive features of the language, these techniquesneed now to be accommodated with traditional issuesof Esterel - the definition of formal semantics, the constructivecausality, and the design of efficient and correctmethods for analysis and optimization.We address some of these problems by defining a newintermediate model for the representation of Esterel programs.The new representation level preserves much of theinitial program structure while making the control flow patternand the hierarchical state structure explicit. It supportsthe full Esterel semantics, and it is a good support forefficient analysis, optimization, and code generation algorithmsbased on static analysis.