Code generation strategies in the Polychrony environment

Loïc Besnard (1) , Thierry Gautier (1) , Jean-Pierre Talpin (1)

1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

This report describes all code generation strategies available in the Polychrony toolset. The data structure manipulated by the Signal compiler is outlined and put to work presenting different ways to transform it in order to implement specific code generation schemes. Each compilation strategy is briefly presented.

Mots clés: programmation synchrone; compilation; transformation de programmes; génération de code

Domaines: Informatique et langage [cs.CL]

Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin. Code generation strategies in the Polychrony environment. [Research Report] RR-6894, INRIA. 2009, pp.34. ⟨inria-00372412⟩