msiegel Star
includes a fascinating discussion on program transformation and "the compiler of the future" (which is *still* in the future)