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 $89.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

Federated Learning for Healthcare

Applications with Case Studies

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Design Patterns

Elements of Reusable Object-Oriented Software

The Essence of Software Engineering

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Code

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

Coding All-in-One For Dummies

2nd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Refactoring 2ed

Improving the Design of Existing Code

Git : Pocket Guide

A Working Introduction

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

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino for Dummies

Blackwell Philosophy Anthologies

Site Reliability Engineering

How Google Runs Production Systems

User Story Mapping

Discover the Whote Story, Build the Right Product

Architectural Approach to Level Design

Second edition

C# 12 in a Nutshell

The Definitive Reference

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

This product is categorised by