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.
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
 Sell Back Your Copy for $7.49
Whether you buy it used on Amazon for $32.23 or somewhere else, you can sell it back through our Book Trade-In Program at the current price of $7.49.
Used Price$32.23
Trade-in Price$7.49
Price after
Trade-in$24.74 |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Frequently Bought Together
Product Details
Would you like to update product info or give feedback on images?
|
More About the Authors
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
33 of 35 people found the following review helpful:
4.0 out of 5 stars
Interesting,
By
This review is from: Principles of Program Analysis (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.
4.0 out of 5 stars
Useful research tool,
By
This review is from: Principles of Program Analysis (Paperback)
As a graduate student in programming languages, I'm finding this textbook a very useful tool to help bring me up to speed. It really helps in understanding theoretical papers on various kinds of static analyses. The book benefits from its segmented approach, so the sections on type and effect systems and data flow analysis, for instance, can be read independently without much of an interdependency.
1 of 8 people found the following review helpful:
2.0 out of 5 stars
Felt apart after a bit,
By
Amazon Verified Purchase(What's this?)
This review is from: Principles of Program Analysis (Hardcover)
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.
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
First Sentence:
In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and Effect Systems. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
loop connectedness parameter, extremal labels, annotated type system, independent attribute method, reverse postorder, fresh type variable, reduced tensor product, worklist algorithm, list reversal program, minimal handle, annotation variables, annotation substitution, very busy expressions, abstract heap, underlying type system, annotated types, acceptability relation, isolated exits, syntactic soundness, control flow analysis, cartesian product algorithm, data flow equations, constraint based analysis, data flow properties, abstract cache Key Phrases - Capitalized Phrases (CAPs): (learn more)
Monotone Framework, Abstract Interpretation, Concluding Remarks, Effect Systems, Ascending Chain Condition, Structural Operational Semantics, Constant Propagation, Round Robin Algorithm, Live Variables Analysis, Side Effect Analysis, Exception Analysis, Constant Folding, Communication Analysis, Array Bound Analysis, Available Expressions Analysis, Bit Vector Frameworks, Distributive Framework, Exercises Exercise, Tarski's Theorem, Proof First, Consider the Fibonacci, Dead Code Elimination, Proof Let New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and Effect Systems. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
loop connectedness parameter, extremal labels, annotated type system, independent attribute method, reverse postorder, fresh type variable, reduced tensor product, worklist algorithm, list reversal program, minimal handle, annotation variables, annotation substitution, very busy expressions, abstract heap, underlying type system, annotated types, acceptability relation, isolated exits, syntactic soundness, control flow analysis, cartesian product algorithm, data flow equations, constraint based analysis, data flow properties, abstract cache Key Phrases - Capitalized Phrases (CAPs): (learn more)
Monotone Framework, Abstract Interpretation, Concluding Remarks, Effect Systems, Ascending Chain Condition, Structural Operational Semantics, Constant Propagation, Round Robin Algorithm, Live Variables Analysis, Side Effect Analysis, Exception Analysis, Constant Folding, Communication Analysis, Array Bound Analysis, Available Expressions Analysis, Bit Vector Frameworks, Distributive Framework, Exercises Exercise, Tarski's Theorem, Proof First, Consider the Fibonacci, Dead Code Elimination, Proof Let New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 17
books:
See all 17 books this book cites
50
books
cite this book:
See all 50 books citing this book
- Computer Science by Richard Jones on 4 pages
- Program Flow Analysis: Theory & Application (Prentice-Hall Software Series) by Neil D. Jones in Back Matter
- Type and Effect Systems: Behaviours for Concurrency by Torben Amtoft in Back Matter
- Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science) by Agostino Cortesi in Back Matter
- Semantics With Applications: A Formal Introduction (Wiley Professional Computing) by Hanne Riis Nielson in Back Matter
See all 17 books this book cites
- Static Analysis by Patrick Cousot on 4 pages
- The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones (Lecture Notes in Computer Science) by Torben Mogensen on 4 pages
- Verification, Model Checking, and Abstract Interpretation by Bernhard Steffen on page 266, page 292, and page 322
- Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings (Lecture Notes in Computer Science) by Wei-Ngan Chin on page 40, and page 212
- Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers (Lecture Notes in Computer Science) (Vol 2670) by Ricardo Pena on page 246
See all 50 books citing this book
Books on Related Topics
(learn more)
|
What Other Items Do Customers Buy After Viewing This Item?
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering
- Books > Computers & Technology > Programming > Languages & Tools > Compiler Design
- Books > Computers & Technology > Programming > Languages & Tools > Compilers
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > Education & Reference > Education
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > New & Used Textbooks > Education
- Books > Science & Math > History & Philosophy
