Industrial-Sized Deals Best Books of the Month Shop Women's Handbags Learn more nav_sap_plcc_6M_fly_beacon $5 Albums Fire TV Stick Subscribe & Save Find the Best Purina Pro Plan for Your Pet Shop Popular Services tmnt tmnt tmnt  Amazon Echo Starting at $99 Kindle Voyage Metal Gear Solid 5 Shop Back to School with Amazon Back to School with Amazon Outdoor Recreation Deal of the Day
Qty:1
  • List Price: $79.99
  • Save: $23.51 (29%)
Only 7 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
Principles of Program Ana... has been added to your Cart
Used: Like New | Details
Sold by b4cause
Condition: Used: Like New
Comment: May contain slight cover/edge wear. Inside is in mint condition. Ships Fast! Satisfaction Guaranteed!
Sell yours for a Gift Card
We'll buy it for $9.27
Learn More
Trade in now
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See all 3 images

Principles of Program Analysis Hardcover – December 7, 2004

4 customer reviews

See all formats and editions Hide other formats and editions
Amazon Price New from Used from
Hardcover
"Please retry"
$56.48
$49.78 $38.09

Save up to 40% on professional, scholarly and scientific resources.
Wiley's Summer Savings Event
Save up to 40% on professional, scholarly and scientific resources. Learn more.
$56.48 FREE Shipping. Only 7 left in stock (more on the way). Ships from and sold by Amazon.com. Gift-wrap available.

Frequently Bought Together

Principles of Program Analysis + Practical Foundations for Programming Languages
Price for both: $142.46

Buy the selected items together

NO_CONTENT_IN_FEATURE

Best Books of the Month
Best Books of the Month
Want to know our Editors' picks for the best books of the month? Browse Best Books of the Month, featuring our favorite new books in more than a dozen categories.

Product Details

  • Hardcover: 452 pages
  • Publisher: Springer; Corrected edition (December 7, 2004)
  • Language: English
  • ISBN-10: 3540654100
  • ISBN-13: 978-3540654100
  • Product Dimensions: 6.1 x 1.1 x 9.2 inches
  • Shipping Weight: 1.6 pounds (View shipping rates and policies)
  • Average Customer Review: 3.5 out of 5 stars  See all reviews (4 customer reviews)
  • Amazon Best Sellers Rank: #628,556 in Books (See Top 100 in Books)

More About the Authors

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

34 of 36 people found the following review helpful By Venkatesh-Prasad Ranganath on October 22, 2000
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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
6 of 7 people found the following review helpful By 2.78 on July 24, 2013
Format: Hardcover Verified Purchase
This note is a review of the book "Principles of Program Analysis," to help understand the narrative. The book uses a method of description this is needlessly too-complex. The basic approach is:

1. Statements into a graph, expressions & sub-expressions into nodes
2. Form base set of attributes for nodes
3. Form complete attributes of each node
4. Answer questions about procedures, and other objects of the program.

Compilers use these techniques (or similar ones) to:
1. Remove superfluous computations (dead code propagation, constant propagation)
2. Merge redundant computations
3. To schedule computation and other operations

Analysis tools may employ these techniques to suggest that the program may have implementation mistakes. These tools are slowly improving in the industry, but are decades behind compiler tools. That said, this book is interested in the academic analysis, and is several steps removed from what it takes to produce good tools.

I. Notation used in the book.
The text prefers to use a small number of "abstractions" for a foundation:
* "Lattices" are used for structures
* The process of applying rules, broadly, uses the concept of fixed point
* Working thru constraints is handled by work-lists

I'll go into depth on the notation below, as some of the book is written needlessly academically (poorly) in how it uses terms.

A. Syntax: The language is broken down along syntax into nodes. Implicitly there is only one operation per node. Expressions are decomposed into separate sub-expression for each action

Note: To look at an analysis, the book often defines a small grammar; some massaging is often needed to make the analysis work.
Read more ›
2 Comments Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
7 of 16 people found the following review helpful By Yiu Yu Ho on October 3, 2010
Format: Hardcover 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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
1 of 6 people found the following review helpful By luke on February 25, 2012
Format: Hardcover Verified Purchase
I help my classmate bought this book! it is a classic book !
but I think it is a little expensive !
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Principles of Program Analysis
This item: Principles of Program Analysis
Price: $56.48
Ships from and sold by Amazon.com

What Other Items Do Customers Buy After Viewing This Item?

Want to discover more products? Check out these pages to see more: software engineering, software development, software testing, android development