Modern Compiler Implementation in ML, Revised and Expanded Edition (Hardback)

Condition

VERY GOOD: This book is in very good condition, showing only the slightest signs of use and wear. There is no writing on its pages.

Product Details

This textbook is the Revised and Expanded Edition ofModern Compiler Implementation in ML: Basic Techniques .

From the back cover: This textbook "includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that is missing from most books. The most accepted and successful techniques are described in a concise way, rather than as an exhaustive catalog of every possible variant. Detailed descriptions of the interfaces between modules of a compiler are illustrated with actual ML signatures.

"The first part of the book, Fundamentals of Compilation, is suitable for a one-semester first course in compiler design. The second part, Advanced Topics, which includes the compilation of object-oriented and functional languages, garbage collection, loop optimizations, SSA form, loop scheduling, and optimization for cache-memory hierarchies, can be used as the basis for a second semester or graduate course.

"A unique feature of the book is a well designed compiler implementation project in ML, including front-end and 'high-tech' back-end phases, so that students can build a complete working compiler in one semester."

There is accompanying support software available on the Internet.

BRIEF CONTENTS

Part I. Fundamentals of Compilation

1. Introduction
2. Lexical Analysis
3. Parsing
4. Abstract Syntax
5. Semantic Analysis
6. Activation Records
7. Translation to Intermediate Code
8. Basic Blocks and Traces
9. Instruction Selection
10. Liveness Analysis
11. Register Allocation
12. Putting It All Together

Part II. Advanced Topics

13. Garbage Collection
14. Object-Oriented Languages
15. Functional Programming Languages
16. Polymorphic Types
17. Dataflow Analysis
18. Loop Optimizations
19. Static Single-Assigned Form
20. Pipelining and Scheduling
21. The Memory Hierarchy

Appendix: Tiger Reference Manual

1. Lexical issues
2. Declarations
3. Variables and expressions
4. Standard library
5. Sample Tiger programs

The textbook concludes with a Bibliography and Index.