|
Principles of Program Analysis | 
 enlarge | 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:  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
|
| 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:
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.
|
|
|
Powered by Associate-O-Matic
| |
