Maxima as a compiler code generator component ?

Hi there.

Get "Reasoning about Program Transformations - Imperative Programming
and Flow of Data" by Jean-Francois Collard, 2003 Springer-Verlag from
your library.  I reviewed it for the Journal of Functional Programming
and found it to be really instructive.

I notice that Amazon give it five stars.

http://www.amazon.com/gp/product/0387953914/102-3156594-5072140?v=glance
&n=283155

In that book, a symbolic package called Omega is used on program
transformation problems:

  http://www.cs.umd.edu/projects/omega/

That may be the kind of software you need to look at, aiming to take
those methods and use them in your own compiler.

Cheers

Mike Thomas