Ubersetzerbau: Band 4: Codeerzeugung Und Maschinennahe Optimierung [German]

by Reinhard Wilhelm, Sebastian Hack, Helmut Seidl

Dieses Buch behandelt die Optimierungsphase von ?bersetzern. In dieser Phase werden Programme zur Effi zienzsteigerung 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...

• Format: Paperback
• Language: German
• ISBN: 3642103553
• ISBN13: 9783642103551
• Release Date: November 2019
• Publisher: Springer
• Length: 200 Pages