Dieses Buch behandelt die Optimierungsphase von Übersetzern. In dieser Phase werden Programme
zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen
Transformationen erhalten bleibt müssen jeweils zugehörige Anwendbarkeitsbedingungen erfüllt
sein. Diese werden mittels statischer Analyse der Programme überprüft. In diesem Buch werden
Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben.
Neben einer detaillierten Beschreibung wichtiger Optimierungen bietet das Buch eine knappe
Einführung in die erforderlichen Konzepte und Methoden zur operationalen Semantik zu
vollständigen Verbänden und Fixpunktalgorithmen.
