Program analysis techniques

Author: Liu Lei
Publisher:
Publish Date: 2005-08-01
Features: Program analysis technology treats programs as the objects of processing, applying various analyses to them according to requirements. It has important applications in program understanding, program testing, program optimization, and program refactoring. This book combines commonly used program analysis methods with the author's research achievements, focusing on introducing meta-programming, information flow analysis, formal concept analysis, alias analysis, program slicing, and partial evaluation. This book can serve as a textbook for undergraduate and graduate students in computer science, or as a reference for senior elective courses in computer science. It can also be used as a reference for computer researchers and developers.