Modern Compiler Implementation in ML

Andrew W. Appel


Modern Compiler Implementation in ML

Modern Compiler Implementation in ML

  • Title: Modern Compiler Implementation in ML
  • Author: Andrew W. Appel
  • ISBN: 9780521607643
  • Page: 412
  • Format: Paperback



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, asThis 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, 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.


Recent Comments "Modern Compiler Implementation in ML"

Appel's stated goal in writing this book was, rather than to provide a laundry list of compiler algorithms that could potentially be used to implement a compiler, to use the algorithms that now dominate modern compilers. His thorough and authoritative approach starts with building a complete working compiler in the first half of the book before exploring deeper specialized topics in the last half of the book. Each chapter comes with example ML code from the chapter along with programming exercis [...]

Appel does a pretty decent job of breaking down most compiler processes. For my purposes, however, I found some of the advanced approaches described near the end of the book to be error-prone and, in one case, just plain incorrect. I think this is a pretty good guide through advanced compiler territory, but be sure to accompany it with another reference.


  • ☆ Modern Compiler Implementation in ML || ✓ PDF Read by µ Andrew W. Appel
    412 Andrew W. Appel
  • thumbnail Title: ☆ Modern Compiler Implementation in ML || ✓ PDF Read by µ Andrew W. Appel
    Posted by:Andrew W. Appel
    Published :2018-08-27T13:08:45+00:00