Picture 1 of 1

Stock photo

Principles of Program Analysis by Flemming Nielson (English) Paperback Book - Picture 1 of 1

Principles of Program Analysis by Flemming Nielson, Chris Hankin, Hanne R. Nielson (Paperback, 2010)

thenilestore (1245089)

99.1% positive feedback

Price:

AU $105.83

+ $4.99 postage

Estimated delivery Thu, 24 Jul - Thu, 31 Jul

Returns:

30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.

Condition:

Brand new

By Flemming Nielson, Chris Hankin, Hanne R. Nielson. Author Hanne R. Nielson. 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.

About this product

Product Information

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.