还有一本书还没有推荐，但非常重要，那就是约翰·莱文的《链接器和加载器》。如果您不使用外部汇编程序，则需要一种方法来输出可以链接到最终程序的目标文件。即使您正在使用外部汇编程序，也可能需要了解重定位以及整个程序加载过程如何工作，以制作一个工作工具。这本书收集了很多关于各种系统的这个过程的随机知识，包括Win32和Linux。

这里有很多很好的答案，所以我想在列表中再添加一个:

十多年前，我有一本叫做Project Oberon的书，里面有一些关于编译器的非常好的文字。这本书的真正突出之处在于，它的来源和解释都是非常实用和易读的。全文(2005年版)已以pdf格式提供，因此您可以立即下载。编译器将在第12章讨论:

http://www.ethoberon.ethz.ch/WirthPubl/ProjectOberon.pdf

尼克劳斯·沃斯，于尔格·古特克内西

(这本书的内容不像他关于编译器的书那么广泛)

我读过几本关于编译器的书，我可以第二龙书，花时间在这本书上是非常值得的。

龙之书绝对是关于“构建编译器”的书，但是如果您的语言不像当前这一代语言那么复杂，那么您可能想看看设计模式中的解释器模式。

书中的示例设计了一种类似正则表达式的语言，并且经过了深思熟虑，但正如书中所述，它有助于思考整个过程，但实际上只在小型语言上有效。然而，用这种模式为一种小型语言编写解释器要快得多，而不必学习所有不同类型的解析器，yacc和lex等等……

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

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

将感激反馈这些。

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

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

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

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