359:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 429:-
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, mssen jeweils zugehrige Anwendbarkeitsbedingungen erfllt sein. Diese werden mittels statischer Analyse der Programme berprft. In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Neben einer detaillierten Beschreibung wichtiger Optimierungen bietet das Buch eine knappe Einfhrung in die erforderlichen Konzepte und Methoden zur operationalen Semantik, zu vollstndigen Verbnden und Fixpunktalgorithmen.
- Format: Pocket/Paperback
- ISBN: 9783642033292
- Språk: Engelska
- Antal sidor: 177
- Utgivningsdatum: 2010-03-05
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K