This book shows how a compiler establishes correspondence between source and target programs, describing the compilation of the source language into the language of the associated virtual machine for a functional, object-oriented programming language.