Placeholder text

Go to cart

Principles of Program Analysis

By Flemming Nielson

Principles of Program Analysis Computer Science

Principles of Program Analysis

Only 1 item left in stock
Description
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.
Product details
Edition:
1
Number of Pages:
480
Release Date:
1999-10-22
Publication Date:
1999-10-22
Publisher:
Springer
Languages:
Original: English
ISBN10:
3540654100
ISBN13:
9783540654100
GPSR Manufacturer Reference:
[email protected]
Weight:
883 g
Height:
161 cm
Width:
240 cm
Thickness:
32 cm
Buy on Amazon

Condition

Show more

Show less
Very good
Almost no signs of wear. Book pages have no markings, accessories are intact and all other media are in good condition.
Available immediately
€22,59

Incl. VAT, plus shipping costs

PayPal
Visa
Mastercard
American Express
Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€22,59