Ebook: Optimal Interprocedural Program Optimization: A New Framework and Its Application

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.

---

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.

---

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.
Content:
Front Matter....Pages I-XXV
Preface....Pages 1-12
The Intraprocedural Framework....Pages 15-29
Optimal Intraprocedural Code Motion: The Transformations....Pages 31-48
Optimal Intraprocedural Code Motion: The DFA-Algorithms....Pages 49-67
The Programming Language....Pages 71-77
Higher Order Data Flow Analysis....Pages 79-97
The Interprocedural Setting....Pages 99-108
Interprocedural Abstract Interpretation....Pages 109-140
A Cookbook for Optimal Interprocedural Program Optimization....Pages 141-144
Optimal Interprocedural Code Motion: The Transformations....Pages 147-207
Optimal Interprocedural Code Motion: The IDFA-Algorithms....Pages 209-248
Perspectives....Pages 251-270
Back Matter....Pages 271-288

---

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.
Content:
Front Matter....Pages I-XXV
Preface....Pages 1-12
The Intraprocedural Framework....Pages 15-29
Optimal Intraprocedural Code Motion: The Transformations....Pages 31-48
Optimal Intraprocedural Code Motion: The DFA-Algorithms....Pages 49-67
The Programming Language....Pages 71-77
Higher Order Data Flow Analysis....Pages 79-97
The Interprocedural Setting....Pages 99-108
Interprocedural Abstract Interpretation....Pages 109-140
A Cookbook for Optimal Interprocedural Program Optimization....Pages 141-144
Optimal Interprocedural Code Motion: The Transformations....Pages 147-207
Optimal Interprocedural Code Motion: The IDFA-Algorithms....Pages 209-248
Perspectives....Pages 251-270
Back Matter....Pages 271-288
....