@inproceedings{29b1f28d64454d528f8f677d7551f10f,
title = "Formally correct translation of DSP algorithms specified in an asynchronous applicative language",
abstract = "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.",
author = "Markus Freericks and Alois Knoll",
year = "1993",
language = "English",
isbn = "0780309464",
series = "Proceedings - ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing",
publisher = "Publ by IEEE",
pages = "I--417--I--420",
booktitle = "Plenary, Special, Audio, Underwater Acoustics, VLSI, Neural Networks",
note = "1993 IEEE International Conference on Acoustics, Speech and Signal Processing ; Conference date: 27-04-1993 Through 30-04-1993",
}