Separate compilation and execution of imperative synchronous modules
Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider · 2009
Abstract—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We propose a new compilation method inspired by traditional sequential code generation techniques to produce coroutines whose hierarchical structure reflects the control flow of the original source code. A minimalistic runtime system executes separately compiled modules. I.