International Workshop on Principles of Program Analysis

Abstract

In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Control Flow Analysis, Abstract Interpretation, and Type and Effect Systems. Each of Chapters 2 to 5 deals with one of these approaches to some length and generally treats the more advanced material in later sections. Throughout the book we aim at stressing the many similarities between what may at a first glance appear to be very unrelated approaches. To help getting this idea across, and to serve as a gentle introduction, this chapter treats all of-the approaches at the level of examples. The technical details are worked-out but it may be difficult to apply the techniques to related examples until some of the material of later chapters have been studied.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1999
Accession Number
ADA366071

Entities

People

  • Chris Hankin
  • Flemming Nielson
  • Hanne R. Nielson

Organizations

  • Aarhus University

Tags

Communities of Interest

  • Advanced Electronics
  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Acceptability
  • Air Force
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Language
  • Monotone Functions
  • Notation
  • Object Oriented Programming
  • Point Theorem
  • Programming Languages
  • Recursive Functions
  • Standards
  • Two Dimensional

Readers

  • Academic Conference Management
  • Business Analytics
  • Systems Analysis and Design