如果您不仅仅是在寻找书籍，而且还对有关于该主题的文章的网站感兴趣，我已经在博客中讨论了创建编程语言的各个方面。大部分文章都可以在我博客的“语言设计”类别中找到。

特别是，我介绍了手动生成Intel机器代码、自动生成机器码或字节码、创建字节码解释器、编写面向对象的运行时、创建简单的加载器以及编写简单的标记/清除垃圾收集器。所有这些都是非常实用和务实的方式，而不是用大量的理论让你感到无聊。

将感激反馈这些。

I think Modern Compiler Implementation in ML is the best introductory compiler writing text. There's a Java version and a C version too, either of which might be more accessible given your languages background. The book packs a lot of useful basic material (scanning and parsing, semantic analysis, activation records, instruction selection, RISC and x86 native code generation) and various "advanced" topics (compiling OO and functional languages, polymorphism, garbage collection, optimization and single static assignment form) into relatively little space (~500 pages).

我更喜欢《现代编译器实现》而不是《Dragon》，因为《现代编译器实现》对该领域的调查较少——相反，它确实涵盖了编写一个严肃、体面的编译器所需的所有主题。在你读完这本书之后，如果你需要的话，你就可以直接深入研究论文了。

I must confess I have a serious soft spot for Niklaus Wirth's Compiler Construction. It is available online as a PDF. I find Wirth's programming aesthetic simply beautiful, however some people find his style too minimal (for example Wirth favors recursive descent parsers, but most CS courses focus on parser generator tools; Wirth's language designs are fairly conservative.) Compiler Construction is a very succinct distillation of Wirth's basic ideas, so whether you like his style or not or not, I highly recommend reading this book.

如果你没有时间，我推荐Niklaus Wirth的“编译器构造”(Addison-Wesley)。1996年)，一本你一天就能读完的小册子，但它解释了基础知识(包括如何实现词法分析器、递归下降解析器和你自己的基于堆栈的虚拟机)。在那之后，如果你想深入了解，就像其他评论者建议的那样，没有办法绕过龙的书。

我发现Dragon的书太难读了，因为它太专注于语言理论，而实际上编写编译器并不需要这些理论。

我将添加Oberon书籍，其中包含了一个惊人的快速和简单的Oberon编译器项目Oberon的完整源代码。

你应该看看Darius Bacon的“ichbins”，这是一个针对小Lisp方言的编译器，目标是C，只有6页多的代码。与大多数玩具编译器相比，它的优势在于该语言足够完整，可以用它来编写编译器。(tarball还包括一个解释器来引导这个东西。)

在我的Ur-Scheme网页上有更多关于学习编写编译器的有用内容。

看看下面这本书。作者是ANTLR的创建者。

语言实现模式:创建您自己的领域特定语言和通用编程语言。