Modern Compiler Implementation in ML

Appel Andrew W. Andrew W. Appel

ISBN 10: 0521607647 / ISBN 13: 9780521607643

Published by Cambridge University Press, 2004

About this Item

pp. 552.

Seller Inventory # 18511650

Bibliographic Details

• Title: Modern Compiler Implementation in ML
• Publisher: Cambridge University Press
• Publication Date: 2004
• Language: English
• ISBN 10: 0521607647
• ISBN 13: 9780521607643
• Binding: Soft cover
• Condition: New

About this title

Synopsis

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. 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 C header files. 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 advanced chapters, covers the compilation of object-oriented and functional languages, garbage collection, loop optimizations, SSA form, loop scheduling, and optimization for cache-memory hierarchies.

Book Description

This new, expanded textbook describes all phases of a modern compiler, including current techniques in code generation and register allocation, for imperative, functional and object-oriented languages. In a concise and practical way the author describes the fundamentals of compilation and then moves on to advanced topics such as SSA form, loop scheduling, and optimization for cache-memory hierarchies. A unique feature is a compiler implementation project in ML, including front-end and 'high-tech' back-end phases.