中间代码生成

在把一个源程序翻译成目标代码的过程中，一个编译器可能构造出一个或多个中间表示。这些中间表示可以有很多种形式。语法树是一种中间表示形式，他们通常在语法分析和语义分析过程中使用。

在源程序的语法分析和语义分析之后，很多编译器生成一个明确的低级的或类机器语言的中间表示。我们可以把这个表示看作是某个抽象机器的程序。该中间表示应该具有两个重要的性质：它应该易于生成，且能够被轻松地翻译为目标机器上的语言。

我们可以考虑一种称为三地址代码（three-address code）的中间表示形式。