Modern Compiler Implementation in ML: Basic Techniques (Hardback)
Sorry we can't get this title, the button below links through to AbeBooks who may have this title (opens in new window).
Short Description for Modern Compiler Implementation in ML Describes all phases of a modern compiler, including current techniques in code generation and register allocation, for imperative, functional, and object oriented languages.
- Published: 01 February 1997
- Format: Hardback 400 pages
- ISBN 13: 9780521582759 ISBN 10: 052158275X
$78.11 - Save $20.89 21% off - RRP $99.00
$72.82 - Save $2.18 (2%) - RRP $75.00
$40.03 - Save $9.96 19% off - RRP $49.99
Full description for Modern Compiler Implementation in ML
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.