Automatic Programming Analysis: literature

The course focuses on a single book:

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

From this book I plan to do chapters 1, 2 (but not 2.6) and selections from chapters 3 and 4. If some additional material not treated in the book is presented, references or links to the material will be provided here. For deepening your intuition for the mathematical theory expounded in the book, you should 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]

Of course, there is also plenty of information available on the Web. Check out the links page.

jur@cs.uu.nl

Literature