ISBN is

978-3-540-65410-0 / 9783540654100

Principles of Program Analysis.

by

Edition:Softcover

Language:German

Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

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.

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 25 of 65

   

Used books: 1 - 25 of 53


Book rentals: