Authors: Flemming Nielson, Hanne R. Nielson, Chris Hankin
Publisher: Springer
Category: Book

List Price: ~~$69.95~~
Buy New: $50.33
You Save: $19.62 (28%)

New (28) Used (9) from $42.50

Avg. Customer Rating: 4.0 out of 5 stars

1 reviews
Sales Rank: 293170

Media: Hardcover
Edition: Corrected
Number Of Items: 1
Pages: 452
Shipping Weight (lbs): 1.6
Dimensions (in): 9.3 x 6.1 x 1.3

ISBN: 3540654100
Dewey Decimal Number: 005.1
EAN: 9783540654100
ASIN: 3540654100

Publication Date: December 7, 2004
Availability: Usually ships in 1-2 business days
Shipping: Expedited shipping available
Shipping: International shipping available
Condition: New Book. International Shipping Available

Also Available In:

•	Digital - Principles of Program Analysis

Accessories:

•	Founders at Work: Stories of Startups' Early Days
•	Use Case Driven Object Modeling with UMLTheory and Practice
•	Practical Subversion, Second Edition (Expert's Voice in Open Source)

Similar Items:

•	Compilers: Principles, Techniques, and Tools (2nd Edition)
•	Types and Programming Languages
•	Advanced Compiler Design and Implementation
•	Model Checking
•	Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly))

Editorial Reviews:

Product 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 between data representation (for solving problems such as the Y2K problem). This book is unique in giving 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 demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Customer Reviews:

4 out of 5 stars

Interesting October 23, 2000
25 out of 27 found this review helpful

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.