Dieses Buch behandelt die Optimierungsphase von Aoebersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, mA1/4ssen jeweils zugehArige Anwendbarkeitsbedingungen erfA1/4llt sein. Diese werden mittels statischer Analyse der Programme A1/4berprA1/4ft. In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Neben einer detaillierten Beschreibung wichtiger Optimierungen bietet das Buch eine knappe EinfA1/4hrung in die erforderlichen Konzepte und Methoden zur operationalen Semantik, zu vollstAndigen VerbAnden und Fixpunktalgorithmen.