Engineering a Compiler, Second Edition

这不是一本能让你'看完就懂'的编译原理书，而是一本逼你动手的书。相比以形式化著称的'龙书'，它把重心放在编译器前端：从词法、语法到语义分析的编排清晰均衡，定义之后紧跟大量图例，读起来更友好。真正让读者记住的是它对现代编译器工程细节的扎实处理——SSA 形式的早期引入、基于 SSA 的优化、寄存器分配与指令调度，既有算法证明，也留有充分的解释空间。读者反馈普遍认为它'不拘泥细节却不缺失细节'，写作节奏舒服。但多位读者坦言：浅读易，深懂难，最终仍要亲手实现才能贯通。适合已具备编程与语言基础、想系统理解现代编译器如何构建并愿意动手的人。

Keith D. Cooper is the Doerr Professor of Computational Engineering at Rice University. He has worked on a broad collection of problems in optimization of compiled code, including inter- procedural data-flow analysis and its applications, value numbering, algebraic reassociation, register allocation, and instruction scheduling. His recent work has focused on a fundamental reexamination of the structure and behavior of traditional compilers. He has taught a variety of courses at the undergraduate level, from introductory programming through code optimization at the graduate level. He is a Fellow of the ACM. Linda Torczon, Senior Research Scientist, Department of Computer Science at Rice Uni- versity, is a principal investigator on the Platform-Aware Compilation Environment project (PACE), a DARPA-sponsored project that is developing an optimizing compiler environment which automatically adjusts its optimizations and strategies to new platforms. From 1990 to 2000, Dr. Torczon served as executive director of the Center for Research on Parallel Compu- tation (CRPC), a National Science Foundation Science and Technology Center. She also served as the executive director of HiPerSoft, of the Los Alamos Computer Science Institute, and of the Virtual Grid Application Development Software Project (VGrADS).