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 sup****ting 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
|
