Generating Efficient Code From Data-Flow Programs

Abstract:
This paper presents the techniques applied in compiling the synchronous data-flow language Lustre. The most original technique consists in synthesising an efficient control structure, by simulating the behavior of boolean variables at compile-time. Here, the techniques are explained on a small subset of Lustre.

Reference:

   @INPROCEEDINGS{lustre:plilp,
      AUTHOR = {N. Halbwachs and P. Raymond and C. Ratel},
      TITLE = {Generating Efficient Code From Data-Flow Programs},
      BOOKTITLE =  {Third International Symposium on
      Programming Language Implementation and Logic Programming},
      ADDRESS={Passau (Germany)},
      MONTH = {August},
      YEAR = 1991
   }

Postscript file