Course Literature

The course focuses on a single book:

Principles Of Program Analysis
Nielson, Nielson and Hankin
Corr. Second Edition
Springer Verlag
ISBN 3-540-65410-0.

You may also use the 1st Edition of this book. I have been told the differences are not very large.

From the book I plan to do chapters 1, 2 (but not 2.6) and selections from chapters 3, 4 and 5. If some additional material not treated in the book is presented, references or links to the material will be provided here. Note that the book is rather hard to read, and that the lecturers serve to explain how to read the book and give intuitions for the abundant mathematical notation.

For deepening your intuition for the mathematical theory expounded in the book, consider looking at the following resources:

• The chapter Abstract Interpretation: a Semantics-Based Tool for Program Analysis
  Neil D. Jones and Flemming Nielson
  In "Handbook of Logic in Computer Science". Oxford University Press, 1994, pages 527-629.
  The chapter gives a good intuition about Abstract Interpretation. Download
• Abstract Interpretation: A Theory Of Approximate Computation
  Kim Marriott
  In SAS '97 proceedings LNCS 1302, pages 367-378.
• Semantics with Applications: a Formal Introduction
  H.R. Nielson and F. Nielson
  Wiley, 1992

This book contains material on semantics and refers to the same WHILE language as in the book by Nielson, Nielson and Hankin. Download