Principles of Program Analysis [Hardcover]

Flemming Nielson (Author), Hanne R. Nielson (Author), Chris Hankin (Author)

Book Description

Publication Date: December 7, 2004 | ISBN-10: 3540654100 | ISBN-13: 978-3540654100 | Edition: Corrected

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing 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 illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.

Product Details

• Hardcover: 471 pages
• Publisher: Springer; Corrected edition (December 7, 2004)
• Language: English
• ISBN-10: 3540654100
• ISBN-13: 978-3540654100
• Product Dimensions: 6.1 x 1 x 9.2 inches
• Shipping Weight: 1.6 pounds (View shipping rates and policies)
• Average Customer Review: 3.7 out of 5 stars  See all reviews (3 customer reviews)
• Amazon Best Sellers Rank: #814,516 in Books (See Top 100 in Books)
  • #17 in Books > Computers & Technology > Programming > Languages & Tools > Compiler Design
  • #73 in Books > Computers & Technology > Programming > Languages & Tools > Compilers

Most Helpful Customer Reviews

34 of 36 people found the following review helpful

4.0 out of 5 stars Interesting October 22, 2000

By Venkatesh Prasad Ranganath

Format:Hardcover

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.

0 of 3 people found the following review helpful

5.0 out of 5 stars great book ! February 25, 2012

By luke

Format:Hardcover|Amazon Verified Purchase

I help my classmate bought this book! it is a classic book !
but I think it is a little expensive !

4 of 11 people found the following review helpful

2.0 out of 5 stars Felt apart after a bit October 3, 2010

By Yiu Yu Ho

Format:Hardcover|Amazon Verified Purchase

I had to get this book for our Program Analysis class. The content seems decent, although I am haven't read enough of it to say too much. The exercises were helpful, and difficult (or tedious). However, the book felt apart in the middle of the semester. Pages were falling off quickly, and I haven't even really read much of it. I really don't like books that breaks since then I have to spend a lot of attention at arranging the pages and worrying about missing pages.