Modern Compiler Implementation in ML

Modern Compiler Implementation in ML : Basic Techniques

3.86 (29 ratings by Goodreads)
By (author) 

List price: US$29.95

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

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.show more

Product details

  • Paperback | 400 pages
  • 149.86 x 226.06 x 15.24mm | 294.83g
  • CAMBRIDGE UNIVERSITY PRESS
  • Cambridge, United Kingdom
  • English
  • Prelim ed.
  • 45 b/w illus. 34 tables 100 exercises
  • 0521587751
  • 9780521587754

Table of 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. Dataflow analysis; 17. Loop optimizations; Appendix: Tiger language reference manual.show more

Review quote

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

Rating details

29 ratings
3.86 out of 5 stars
5 24% (7)
4 52% (15)
3 10% (3)
2 14% (4)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X