TY  - BOOK
AU  - Knoop,Jens
ED  - SpringerLink (Online service)
TI  - Optimal Interprocedural Program Optimization: A New Framework and Its Application 
T2  - Lecture Notes in Computer Science,
SN  - 9783540496397
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 1998///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Software Engineering
N1  - 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
N2  - 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
UR  - http://dx.doi.org/10.1007/3-540-49639-4
ER  -