Sun Oct 4 13:06:26 CEST 2009
Signal Processing Functions, Algorithms and Smurfs: The Need for Declarativity
Following the links on  brings me to a paper 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, 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