Optimal Interprocedural Program Optimization A New Framework and Its Application /

• Κύριος συγγραφέας: Knoop, Jens (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Computer Science, 1428
• Θέματα: Computer logic.; Programming languages (Electronic computers).; Software engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.

Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is ai...

Πίνακας περιεχομένων:

• Preface
• Preface
• The Intraprocedural Framework
• Optimal Intraprocedural Code Motion: The Transformations
• Optimal Intraprocedural Code Motion: The DFA-Algorithms
• The Framework
• The Programming Language
• Higher Order Data Flow Analysis
• The Interprocedural Setting
• Interprocedural Abstract Interpretation
• A Cookbook for Optimal Interprocedural Program Optimization
• The Application
• Optimal Interprocedural Code Motion: The Transformations
• Optimal Interprocedural Code Motion: The IDFA-Algorithms
• Conclusion
• Perspectives.