Get Free Shipping on orders over $0
Principles of Program Analysis - Flemming Nielson

Principles of Program Analysis

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

Hardcover | 22 October 1999 | Edition Number 1

At a Glance

Hardcover


$129.75

or 4 interest-free payments of $32.44 with

 or 

Ships in 5 to 7 business days

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.

Other Editions and Formats

Paperback

Published: 1st December 2010

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Arduino For Dummies : Blackwell Philosophy Anthologies - John Nussey
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$48.97

30%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.97

30%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Architectural Approach to Level Design : Second edition - Christopher W.  Totten
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari
Tidy First? : A Personal Exercise in Empirical Software Design - Kent Beck
The Art of Spyro : Reignited Trilogy - Micky Nielson

RRP $75.00

$57.75

23%
OFF
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang
Legal Risks in the Software Development Lifecycle - Oana Gherghina

RRP $326.00

$280.99

14%
OFF
Legal Risks in the Software Development Lifecycle - Oana Gherghina