Principles of Program Analysis

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

Write A Review

Hardcover | 22 October 1999 | Edition Number 1

At a Glance

Hardcover
480 Pages

Dimensions(cm)
24.13 x 16.51 x 3.18

Hardcover

$129.00

or 4 interest-free payments of $32.25 with

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Education Computing & I.T.Computer Programming & Software Development Compilers & Interpreters Software Engineering Programming & Scripting Languages Computer Science

Other Editions and Formats

Paperback

Published: 1st December 2010

View Product

Preface
Introduction
Data Flow Analysis
Constraint- Based Analysis
Abstract Interpretation
Type and Effect Systems
Algorithms
Partially Ordered Sets
Induction and Coinduction
Graphs and Regular Expressions
Index of Notation
Index
Bibliography
Table of Contents provided by Publisher. All Rights Reserved.

Principles of Program Analysis

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Software Engineering

Observability Engineering

Achieving Production Excellence

Theory of Computation for Software Developers

Theory of Computation for Software Developers

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

The Essence of Software Engineering

Design Patterns

Elements of Reusable Object-Oriented Software

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino for Dummies

Blackwell Philosophy Anthologies

Git : Pocket Guide

A Working Introduction

Refactoring 2ed

Improving the Design of Existing Code

Coding All-in-One For Dummies

2nd Edition

Fundamentals of Software Architecture, 2nd Edition

A Modern Engineering Approach

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Site Reliability Engineering

How Google Runs Production Systems

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Typescript Cookbook

Real World Type-Level Programming

Learning Algorithms

A Programmer's Guide to Writing Better Code

C++ Programming Language (hardcover), The

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

This product is categorised by