Welcome to the beta version of Shelfari’s new Book Detail pages!
These pages are editable by the community, so please contribute! Click here to learn more about this feature. We’d love to hear your feedback.
Description
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... read more
First Sentence
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.
Table of Contents
Authors & Contributors
- Flemming Nielson (Author)
Books with Additional Background Information
List the books that contain additional information about this book.
If you have any suggestions for how we can improve this page or if there are sections that you would like us to add, please let us know.
