[<<][compsci][>>][..]
Sun Oct 4 13:06:26 CEST 2009
Signal Processing Functions, Algorithms and Smurfs: The Need for Declarativity
Following the links on [2] brings me to a paper[1] by Boute ``Signal
Processing Functions, Algorithms and Smurfs: The Need for
Declarativity''. This is brilliant stuff.
The main cause [of decline of declarative thinking] in DSP is a
shift from essentially declarative mature engineering formalisms to
``algorithmic thinking'' induced by computer implementation,
ignoring the declarative mathematical methods for software.''
Boute mentions SILAGE[3], a DSP dataflow language.
Our own research over the past 15 years is also aimed at unifying EE
and CS, starting with mathematical modeling and reasoning.
I have a new hero. Looks like I need to shut up and read for a while.
Most of my plans for Staapl's DSP language are probably best put in
this framework.
[1] http://www.funmath.be/SmurFinl.pdf
[2] http://www.funmath.be/LRRL.pdf
[3] http://www.cosic.esat.kuleuven.be/publications/article-756.pdf
[Reply][About][<<][compsci][>>][..]