Jump to ratings and reviews

Static Program Analysis

162 pages, Unknown Binding

Published January 1, 2008

Loading...
Loading...

About the author

Anders Møller

7 books4 followers

Ratings & Reviews

What do you think?

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
0 (0%)
4 stars
2 (40%)
3 stars
3 (60%)
2 stars
0 (0%)
1 star
0 (0%)
Displaying 1 - 1 of 1 review
Profile Image for Isaac.
146 reviews4 followers
February 12, 2024
Really nice mix of theory and application. In practice I imagine some of these techniques would be modified (say simplifying conditions during the pass through), but from my very limited experience, these techniques are at least used in practice. The more mathematical background was good too. Sometimes it got a little tedious and some of the proofs were skipped.
Displaying 1 - 1 of 1 review