Modern Compiler Implementation in ML: Basic Techniques

Appel, Andrew W.

ISBN 10: 0521587751 / ISBN 13: 9780521587754

Published by Cambridge University Press, 1997

About this Item

The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Seller Inventory # BSM.MAPX

Bibliographic Details

Title: Modern Compiler Implementation in ML: Basic ...

Publisher: Cambridge University Press

Publication Date: 1997

Binding: Soft cover

Condition: good

About this title

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.

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.