You might also like

More about Principles of Program Analysis

• Book details
• Synopsis
• Trending among others

You get 168 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

• Full title: Principles of Program Analysis
• Author: Flemming Nielson, Hanne R. Nielson, Chris Hankin
• Language: English
• Binding: Paperback
• Number of pages: 452
• EAN: 9783642084744
• ISBN: 3642084745
• ID: 01653477
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 698 g
• Dimensions: 233 × 156 × 29 mm
• Date of publishing: 01. December 2010

Trending among others

---

---

---