剑桥 L111 高级数据流分析讲义

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals. From the Foreword by Susan L. Graham: This book takes on the challenges of contemporary languages and architectures, and prepares the reader for the new compiling problems that will inevitably arise in the future. The definitive book on advanced compiler design This comprehensive, up-to-date work examines advanced issues in the design and implementation of compilers for modern processors. Written for professionals and graduate students, the book guides readers in designing and implementing efficient structures for highly optimizing compilers for real-world languages. Covering advanced issues in fundamental areas of compiler design, this book discusses a wide array of possible code optimizations, determining the relative importance of optimizations, and selecting the most effective methods of implementation. * Lays the foundation for understanding the major issues of advanced compiler design * Treats optimization in-depth * Uses four case studies of commercial compiling suites to illustrate different approaches to compiler structure, intermediate-code design, and optimization these include Sun Microsystems's compiler for SPARC, IBM's for POWER and PowerPC, DEC's for Alpha, and Intel's for Pentium an related processors * Presents numerous clearly defined algorithms based on actual cases * Introduces Informal Compiler Algorithm Notation (ICAN), a language devised by the author to communicate algorithms effectively to people Foreword / Susan Graham -- 1. Introduction To Advanced Topics -- 2. Informal Compiler Algorithm Notation (ican) -- 3. Symbol-table Structure -- 4. Intermediate Representations -- 5. Run-time Support -- 6. Producing Code Generators Automatically -- 7. Control-flow Analysis -- 8. Data-flow Analysis -- 9. Dependence Analysis And Dependence Graphs -- 10. Alias Analysis -- 11. Introduction To Optimization -- 12. Early Optimizations -- 13. Redundancy Elimination -- 14. Loop Optimizations -- 15. Procedure Optimizations -- 16. Register Allocation -- 17. Code Scheduling -- 18. Control-flow And Low-level Optimizations -- 19. Interprocedural Analysis And Optimization -- 20. Optimization For The Memory Hierarchy. Steven S. Muchnick. Includes Bibliographical References (p. 801-820) And Indexes. Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize. "This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M. Sc. and Ph. D. students but will be valuable also for experienced researchers and professionals."--Jacket This book provides a comprehensive, modern approach to the design and construction of compilers--one of the most vital components of a computer's system software. Unique in its coverage of the four major language paradigms, it covers the required theory in depth, while remaining focused on techniques that are of practical benefit to software developers. This is the first book on compiler design that covers object-oriented, functional, and logic programming languages--as well as imperative languages. The theory of computer design is covered in depth, but the focus throughout is on tools and implementation techniques which will be of practical use to software developers. In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and Effect Systems. F. Nielson, Hanne Riis Nielson, Chris Hankin. Corrected 2nd Printing, 2005. The First Ed. Published In 1999. Includes Bibliographical References (p. [439]-452) And Index. The text begins with an introduction to the principal ideas behind compilation, and then illustrates these ideas by constructing a simple one-pass compiler.