Modern Compiler Implementation in C

Modern Compiler Implementation in C (2000) af Andrew W. Appel og Jens Palsberg er en grundig lærebog, der gennemgår alle faser i en moderne compiler. Den indleder med leksikal analyse og parsing, før den bevæger sig over i abstrakt syntaks og semantiske handlinger. Herefter belyses mellemliggende repræsentationer og instruktionsvalg ved hjælp af træsammenligning. Afslutningsvis gennemgås dataflowanalyse, graffarvningsbaseret registerallokering og runtime-systemer. Bogen præsenterer anerkendte teknikker inden for kodegenerering og registerallokering samt behandling af både funktionelle og objektorienterede sprog. Beskrivelserne er koncise og fokuserer på de mest effektive metoder frem for en fuldstændig oversigt over alle varianter. Grænsefladerne mellem kompilermoduler er illustreret med autentiske C-header-filer. Første del, Fundamentals of Compilation, fungerer som et ét-semesters grundkursus i compilerdesign, mens anden del, Advanced Topics, dykker ned i mere specialiserede emner. Her behandles kompilering af objektorienterede og funktionelle sprog, affaldsopsamling og sløjfeoptimeringer. Yderligere kapitler omfatter SSA-form og loop scheduling. Afslutningsvis præsenteres optimeringsstrategier for cache-hukommelseshierarkier, der sikrer effektiv udnyttelse af hardware. Med sin kombination af grundlæggende principper og avancerede teknikker udgør denne lærebog et solidt grundlag for et to-semester- eller kandidatkursus i compilerteknik.