Übersetzerbau: Band 3: Analyse Und Transformation [German]

by Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

Das Buch behandelt die Optimierungsphase von bersetzern - die Phase, in der Programme zur Effizienzsteigerung transformiert werden. Damit die Semantik erhalten bleibt, m ssen die jeweiligen Anwendbarkeitsbedingungen erf llt sein. Diese werden mittels statischer Analyse berpr ft. In dem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Daneben bietet es eine Einf hrung in die Konzepte und...

• Format: Paperback
• Language: German
• ISBN: 3642033296
• ISBN13: 9783642033292
• Release Date: March 2010
• Publisher: Springer
• Length: 177 Pages
• Weight: 0.60 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"