Compilers and Language Design

From the first character of source text to the final machine instruction, Compilers and Language Design follows the whole compilation pipeline in one continuous story. It starts with lexical analysis and grammar theory, then works through LL and LR parsing, type systems and Hindley-Milner inference, intermediate representations, and SSA form. From there it covers data-flow analysis, classical and ...