Michael J. Mahon wrote: (snip)
I loved that more than half the lines of code of the optimizer were *comments* with math proofs for the various optimizing transforms being performed. ;-)
Fortran G, written by Digitek, is my favorite--a 1.5-pass FORTRAN compiler.
And written in some special language (like P-code or JVM code) and interpreted. The operations are all generated by macros for the
OS/360 assembler. -- glen