Principles of Program Analysis
Product Description
Principles of Program Analysis
- Used Book in Good Condition
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.
Technical Specifications
Customers who bought this also bought
You might also like
Types and Programming Languages (The MIT Press)
The Calculus of Computation: Decision Procedures with Applications to Verification
Data Flow Analysis: Theory and Practice
Modern Compiler Implement in ML
Compilers: Principles, Techniques, and Tools 2nd By Alfred V. Aho (International Economy Edition)
Deep Learning (Adaptive Computation and Machine Learning series)
Formal Semantics of Programming Languages
Engineering: A Compiler
Modern Compiler Implementation in Java
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)