Course Literature

Apa0506

The course focuses on a single book:

_Principles Of Program Analysis_
%BR%
Nielson, Nielson and Hankin%BR%
Corr. Second Edition%BR%
Springer Verlag%BR%
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_ %BR% Neil D. Jones and Flemming Nielson %BR% In "Handbook of Logic in Computer Science". Oxford University Press, 1994, pages 527-629. %BR% The chapter gives a good intuition about Abstract Interpretation.  [[http://www.diku.dk/forskning/topps/bibliography/1994.html#D-58][Download]]
   * _Abstract Interpretation: A Theory Of Approximate Computation_ %BR% Kim Marriott %BR% In SAS '97 proceedings LNCS 1302, pages 367-378.
   * _Semantics with Applications: a Formal Introduction_ %BR% H.R. Nielson and F. Nielson %BR% Wiley, 1992

     This book contains material on semantics and refers to the same *WHILE* language as in the book by Nielson, Nielson and Hankin. [[http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html][Download]]

Master Course Automatic Program Analysis

Course Literature

Master Course
Automatic Program Analysis