Efficient compilation of array iterators for Lustre
Lionel Morel · Electronic Notes in Theoretical Computer Science · 2002
In this paper, we present a compilation scheme along with optimizations for array iterators in the synchronous data flow language Lustre. We present the iterators (inspired from functional languages mechanisms such as map and foldl…) and show how to compile them into efficient imperative code that manipulates arrays and loops instead of inefficient code were arrays are expanded into independent variables.