The book addresses the optimization phase of translators - the phase in which programs are transformed for efficiency enhancement. To maintain semantics, the respective applicability conditions must be met. These are verified through static analysis. The book systematically describes analyses and transformations of imperative and functional programs. Additionally, it provides an introduction to the concepts and methods of operational semantics, complete lattices, and fixed-point algorithms.