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

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 Compilers & Interpreters

C# Programming in easy steps

Master C# fundamentals!

FORTRAN Programming in Easy Steps

In Easy Steps

Modern Compiler Design

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison [With Access Code]

O'Reilly Ser.

Practical Microservices Architectural Patterns

Build Highly Scalable Distributed Applications With Spring Boot 3 and Spring Cloud

Applied Mathematics With F#

Programming Languages and Systems

23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings

Learning and Reasoning

4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings

Language Implementation Patterns

Pragmatic Programmers

Modern Systems Programming with Scala Native

Metaprogramming Elixir

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

OpenMP

Balancing Productivity and Performance Portability : 21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings

Learn LLVM 17 - Second Edition

A beginner's guide to learning LLVM compiler tools and core libraries with C++

Java For Dummies

Java for Dummies

Modern CMake for C++ - Second Edition

Effortlessly build cutting-edge C++ code and deliver high-quality solutions

Compiler Construction

9th International Conference, CC 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 Proceedings

This product is categorised by