Here's just a short note to list the papers I've found describing code
generation via parsing techniques. These techniques have the advantages of
being relatively self documenting, usually are linear time schemes, and help
in building easily retargeted code generators. The basis of most of these
papers is a work by Steven Glanville and Susan Graham, in which they describe
a code generator built from a LALR(1) parser. Their technique
has come to be known as Graham-Glanville code generation:

"Usign Dynamic Programming To Generate Optimized Code In A Graham-
Glanville Style Code Generator", Thomas W. Christopher, Philip J. Hatcher
and Ronald C. Kukuk, ACM SIGPLAN Symposium on COmpiler Construction,
June 1984.
(Note that they use a parsing technique called Early's Algorithm, which I am
not familiar with but am told is order(N^3)!).