Sequential code generation

  • Nicolas Halbwachs
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 215)


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


Finite Automaton Input Event Reactive Program Sequential Code Generation Synchronous Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1993

Authors and Affiliations

  • Nicolas Halbwachs
    • 1
  1. 1.IMAG InstituteGrenobleFrance

Personalised recommendations