A dataflow language for signal processing modeling with parallel implementation issues

This paper describes λ-FLOW, a new functional synchronous dataflow language for DSP applications. It is independent of the handled data. It plainly supports the modular design. Its sound semantics allows proofs of programs and time/memory determinisms. The target code is dynamically loaded into the compiler with a target description that is defined with less than twenty lines of definitions. Due to the static feature of the solving model, it is possible to implement programs onto a static parallel architecture.