國外著名高等院校信息科學與技術優秀教材：編譯原理 技術與工具（第2版）（英文版）

　作為編譯器設計的教程，本書重點主要放在解決設計語言翻澤器過程中普遍需要面對的一些問題上，而並不考慮源語言或者目標機器。本書共 12章。第一章是一些關於學習動機的資料，同時也給出了一些關於計算機體系結構和程序設計語言原理的背景知識。第二章開發了一個縮微的編譯器，並介紹了很多重要的概念，這些概念將在後面的各個章節中深入介紹。這個編譯器本身在附錄中給出。第三章討論了詞法分析、正則表達式、有窮狀態自動機和詞法分析器的生成工具，這些內容是各種正文處理的基礎。第四章討論了主流的語法分析方法，包括自頂向下方法（遞歸下降法， LL技術）和自底向上方法（LR技術和它的變體）。第五章介紹了語法制導定義和語法制導翻譯的基本思想。第六章介紹了如何使用第五章中的理論為一個典型的程序設計語言生成中間代碼。第七章討論了運行時刻環境，主要是運行時刻棧的管理和垃圾收集機制。第八章介紹了關於目標代碼生成的內容，主要討論了基本塊的構造，從表達式和基本塊生成代碼的方法，以及寄存器分配技術。第九章介紹了代碼優化技術，包括流圖、數據流分析框架以及求解這些框架的迭代算法。第十章討論了指令級優化。該章的重點是從小段指令代碼中抽取並行性，並在那些可以同時做多件事情的單處理器上調度這些指令。第十一章講的是大規模並行的檢測和利用。這章的重點是數值計算代碼，這些代碼具有對多維數組進行遍歷的緊致循環。第十二章介紹的是關於過程間分析技術的內容，討論了指針分析、別名和數據流分析，這些分析中都考慮了到達代碼中某個給定點時的過程調用序列。
　　本書可作為高校計算機專業本科和研究生編譯原理的教科書，也可供從事計算機軟件開發的人員參考。

　　Alfred V.Aho是哥倫比亞大學的Lawrence Gussman計算機科學教授。Aho教授多次獲獎，其中包括哥倫比亞校友會頒發的2003年度Great Teacher獎和電子與電器工程師協會的John von Neumann獎章。他是美國國家工程院院士，以AACM和IEEE的會員。

1 Introduction
1.1 Language Processors
1.1.1 Exercises for Section 1.1

1.2 The Structure of a Compiler
1.2.1 Lexical Analysis
1.2.2 Syntax Analysis
1.2.3 Semantic Analysis
1.2.4 Intermediate Code Generation
1.2.5 Code Optimization
1.2.6 Code Generation
1.2.7 Symbol-Table Management
1.2.8 The Grouping of Phases into Passes
1.2.9 Compiler-Construction Tools

1.3 The Evolution of Programming Languages
1.3.1 The Move to Higher-level Languages
1.3.2 Impacts on Compilers
1.3.3 Exercises for Section 1.3

1.4 The Science of Building a Compiler
1.4.1 Modeling in Compiler Design and Implementation
1.4.2 The Science of Code Optimization

1.5 Applications of Compiler Technology
1.5.1 Implementation of High-Level Programming Languages
1.5.2 Optimizations for Computer Architectures
1.5.3 Design of New Computer Architectures
1.5.4 Program Translations
1.5.5 Software Productivity Tools

1.6 Programining Language Basics
1.6.1 Tile Static/Dynamic Distinction
1.6.2 Environments and States
1.6.3 Static Scope and Block Structure
1.6.4 Explicit Access Control
1.6.5 Dynamic Scope
1.6.6 Parameter Passing Mechanisms
……
2 A Simple Syntan-Directed Translator
3 Lexical Analysis
4 Syntax Analysis
5 Syntax-Directed Translation
6 Intermediate-Code Generation
7 Run-Time Environments
8 Code Generation
9 Machine-Independent Optimizations
10 Instruction*Level Parallelism
11 Optimizing for Parallelism and Locality
12 Interprocedural Analysis
A A Complete Front End
B Finding Linearly Independent Solutions
Index