Clock-directed modular code generation for synchronous data-flow languages
Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet · 2008
The compilation of synchronous block diagrams into sequential imperative code has been addressed in the early eighties and can now be considered as folklore. However, separate, or modular, code generation, though largely used in existing compilers and particularly in industrial ones, has never been precisely described or entirely formalized. Such a formalization is now fundamental in the long-term goal to develop a mathematically certified compiler for a synchronous language as well as in simplifying existing implementations.