Optimal Interprocedural Program Optimization

1. Front Matter

   Pages I-XXV

   PDF

2. Preface

   1. Preface

      Pages 1-12

3. Introduction

   1. The Intraprocedural Framework

      Pages 15-29

   2. Optimal Intraprocedural Code Motion: The Transformations

      Pages 31-48

   3. Optimal Intraprocedural Code Motion: The DFA-Algorithms

      Pages 49-67

4. The Framework

   1. The Programming Language

      Pages 71-77

   2. Higher Order Data Flow Analysis

      Pages 79-97

   3. The Interprocedural Setting

      Pages 99-108

   4. Interprocedural Abstract Interpretation

      Pages 109-140

   5. A Cookbook for Optimal Interprocedural Program Optimization

      Pages 141-144

5. The Application

   1. Optimal Interprocedural Code Motion: The Transformations

      Pages 147-207

   2. Optimal Interprocedural Code Motion: The IDFA-Algorithms

      Pages 209-248

6. Conclusion

   1. Perspectives

      Pages 251-270

7. Back Matter

   Pages 271-288

   PDF

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 aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.

• Imperative Programming Languages
• algorithms
• compiler
• compiler optimization
• language
• program optimization
• program semantics
• program transformation
• programming
• programming language
• semantics

• Fakultät für Mathematik und Informatik, Universität Passau, Passau, Germany

  Jens Knoop

Policies and ethics