Sequential code generation
The compiling method that synthesizes the sequential code control struc-ture as a finite automaton was first introduced in the Esterel compiler. This method was applied later on to Lustre and Argos. Our presen-tation basically follows [BCG87].
KeywordsFinite Automaton Input Event Reactive Program Sequential Code Generation Synchronous Language
Unable to display preview. Download preview PDF.