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...