Principles of Program Analysis
||Author: Flemming Nielson, Hanne Riis Nielson, Chris Hankin|
List Price: $59.95
Our Price: Click to see the latest and low price
Publisher: Springer Verlag (November, 1999)
Sales Rank: 218,064
Average Customer Rating: 4 out of 5
Customer ReviewsRating: 4 out of 5
As the title suggests the book discusses various approaches to program analysis and it discusses these approaches is pretty good detail, though purely theoretical with small WHILE languages. It would have helped to have used a real live example by considering a small chunk of any of the generally used languages. It has good appendices that covers on some mathematical concepts but be warned you need know your math, the kind described in Glynn winskel or John reynolds book, before you dig into this one.
I rate it as 4 star as it gives the information on how to approach program analysis from the theoretical side. Also, reading it made my life easy when working with some code on flow analysis. I would say it definitely requires 2 readings for the info to settle inside. The appendix on Partially Ordered Sets is much more comprehendable than in Winskel.
In simple words, if u r good at theoritcal math used with languages and are interested in implementing and understanding various analysis that can be performed on programs then this is book would be a great aid.
· Programming with Constraints: An Introduction
· Basic Category Theory for Computer Scientists (Foundations of Computing)
· Model Checking
· Types and Programming Languages