Principles of Program Analysis

  • Flemming Nielson
  • Hanne Riis Nielson
  • Chris Hankin

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Flemming Nielson, Hanne Riis Nielson, Chris Hankin
    Pages 1-33
  3. Flemming Nielson, Hanne Riis Nielson, Chris Hankin
    Pages 35-139
  4. Flemming Nielson, Hanne Riis Nielson, Chris Hankin
    Pages 141-209
  5. Flemming Nielson, Hanne Riis Nielson, Chris Hankin
    Pages 211-282
  6. Flemming Nielson, Hanne Riis Nielson, Chris Hankin
    Pages 283-363
  7. Flemming Nielson, Hanne Riis Nielson, Chris Hankin
    Pages 365-392
  8. Back Matter
    Pages 393-452

About this book

Introduction

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.

Keywords

Abstract Interpretation Constraint Based Analysis Data Flow Analysis Program Analysis Program Transformation Type Systems algorithms compiler constraint program transformation regular expression software validation

Authors and affiliations

  • Flemming Nielson
    • 1
  • Hanne Riis Nielson
    • 1
  • Chris Hankin
    • 2
  1. 1.Department of Computer ScienceUniversity of AarhusAarhus CDenmark
  2. 2.Department of ComputingThe Imperial College of Science, Technology, and MedicineLondonUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-03811-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-08474-4
  • Online ISBN 978-3-662-03811-6
  • About this book