Separate compilation and execution of imperative synchronous modules

—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.

• Type: Conference
• Year: 2009
• Where: DATE
• Authors: Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider
• Keywords: DATE 2009, Hardware, Imperative Synchronous Languages, Separate Compilation, Synchronous Modules