A modular memory optimization for synchronous data-flow languages
Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet · 2012
The generation of efficient sequential code for synchronous data-flow languages raises two intertwined issues: control and memory optimization. While the former has been extensively studied, for instance in the compilation of Lustre and Signal, the latter has only been addressed in a restricted manner. Yet, memory optimization becomes a pressing issue when arrays are added to such languages.