Formally correct translation of DSP algorithms specified in an asynchronous applicative language

The functional programming language ALDiSP, which is specially tailored to the needs of DSP programming, is presented. ALDiSP incorporates data streams and an asynchronous control concept based on only one construct, the suspension. A comparison with traditional DSP languages like SILAGE is made. It is shown how ALDiSP programs can be translated into efficient code using the techniques of abstract interpretation and partial evaluation, in which a program is applied to symbolic input, resulting in usage information for all possible runs. This information is used to optimize the program by reconstructing it. Both the compilation of functions and the construction of a compile-time schedule make use of this approach.<>