Books - Principles of Program Analysis

eShop USA > Books > Principles of Program Analysis

Principles of Program Analysis

by: Flemming Nielson, Hanne R. Nielson, Chris Hankin

List Price: $69.95

Our Price: $55.96

You Save: $13.99 (20%)
Prices subject to change.

9 used from $39.00
22 Thirdparty New from $52.46

Availability: Usually ships in 24 hours

Click here for lowest price offers

Binding: Hardcover
Dewey Decimal Number: 005.1
EAN: 9783540654100
Edition: Corrected
ISBN: 3540654100
Label: Springer
Manufacturer: Springer
Number Of Items: 1
Number Of Pages: 452
Publication Date: December 07, 2004
Publisher: Springer
Studio: Springer

Accessories:

Related Items:

Featured Listmania!

Editorial Review:
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

Average Rating:

Rating:

- Interesting
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 ... Read More

Related Categories: