The course focuses on a single book:
Principles Of Program Analysis
Nielson, Nielson and Hankin
Corr. Second Edition
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
In SAS '97 proceedings LNCS 1302, pages 367-378.
- Semantics with Applications: a Formal Introduction
H.R. Nielson and F. Nielson
This book contains material on semantics and refers to the same WHILE
language as in the book by Nielson, Nielson and Hankin. Download