Modern Compiler Implementation in ML

by Andrew W. Appel

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction …