Modern Compiler Implementation in ML: Basic Techniques - Softcover

Appel, Andrew W.

Softcover

ISBN 10: 0521587751 ISBN 13: 9780521587754

Publisher: Cambridge University Press, 1997

Synopsis

This textbook explains all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-colouring register allocation with coalescing, and runtime systems. It covers current techniques in code generation and register allocation, as well as functional and object-oriented languages. The author illustrates the most accepted and successful techniques in a concise way, rather than as an exhaustive catalogue of every possible variant. Detailed descriptions of the interfaces between the modules of a compiler are illustrated with actual ML signatures. 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. The textbook is meant for use in a one-semester first course for undergraduates in compiler design. Accompanying software is available.

About this title

Book Description

This textbook describes all phases of a modern compiler, including current techniques in code generation and register allocation, for imperative, functional and object-oriented languages. The author describes the most accepted and successful techniques, rather than giving an exhaustive catalogue of every variant. A unique feature is a compiler implementation project in ML, including front-end and high-tech back-end phases.

Review

"The book's layout is compact and neat, the typography clear and direct." R. Clayton, Computing Reviews

Edition details

• Publisher: Cambridge University Press
• Publication date: 1997
• Language: English
• ISBN 10: 0521587751
• ISBN 13: 9780521587754
• Binding: Paperback
• Number of pages: 400