Books on compiler backends?

Hello all,


I'm looking for some good books on compiler backends. I'm fairly
proficient with the scanners and parsers, but am now starting work on
some source-to-source translation projects and need to become much
more familiar with backends and the related technologies and
algorithms.


Given my AST's, I now need to be able to handle tree transformations
as I manipulate everything towards my target language. I've been
trying to figure out things like the following:


* if I should manually walk/manipulate the tree or use a tree grammar
    with a supporting tool (such as ANTLR's generated tree
    parser/rewriter)
* if there are any good/standard tree matching or rewriting algorithms
* whether or not I can use the standard instruction selection
    algorithms for my source-to-source translation
* how to correctly handle logical inference with inheritance
    hierarchies


I currently have the Dragon Book (original version) and Appel's
"Modern Compiler Implementation in Java" but don't find either
particularly well suited for what I need to do:


http://net.gurus.com/bk/a/0321486811 (Aho et al, new dragon book)
http://net.gurus.com/bk/a/052182060X (Appel et al, Modern Compiler Construction in Java)


After perusing some of the compiler books, the following books looked
like they might be good candidates, but wanted to get some feedback:


http://net.gurus.com/bk/a/0471976970 (Grune et al, Modern Compiler Design)
http://net.gurus.com/bk/a/155860698X (Cooper and Torczon, Engineering a Compiler)
http://net.gurus.com/bk/a/1558602860 (Allen and Kennedy, Optimizing
Compilers for Modern Archtectures)
http://net.gurus.com/bk/a/1558603204 (Muchnick, Advanced Compiler Design)


I'm leaning towards the first two, "Modern Compiler Design" and
"Engineering a Compiler" as they seem to have the most relevant
content.


Thoughts or suggestions, even if completely different from what I've
suggested?


Thanks.


--Kaleb
[I'm always looking for additions and updates to the list of compiler
books in the FAQ. I have a copy of Muchnick and like it pretty well. -John]
xs

Return to the comp.compilers page.
Search the comp.compilers archives again.