Optimal Interprocedural Program Optimization: A New Framework and Its Application
Book information
Description
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.
Similar books
Principles of Program Analysis
1999 · PDF
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
2008 · PDF
Specification and Compositional Verification of Real-Time Systems
1991 · PDF
Optimal Interprocedural Program Optimization: A New Framework and Its Application
1998 · PDF
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
2005 · PDF
Interacting Code Motion Transformations: Their Impact and Their Complexity
1998 · PDF
Specification and Compositional Verification of Real-Time Systems
1991 · DJVU
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
2008 · PDF