Description

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers, software engineering and transformations between data representation. In the seminar, we will be concerned with Abstract Interpretations and follow the corresponding chapter in the book "Principles of Program Analysis" by Nielson et al.

Literature

In this seminar we will study one relatively easily accessible testbook, which emphasises the practical use of logic in this context:

Flemming Nielson, Hanne Riis Nielson, Chris Hankin
Principles of Program Analysis
ISBN 3-540-65410-0

We will look at 5 section in the Chapter "Abstract Interpretation" in the book. Students can form pairs and these teams will present (and finally report on) on of these section. Initially a brief introduction to static program analysis will be given. At the end of the semester we will present the aforementions sections in individual presentations.

Guidelines

The final grade will be based on the presentation and the written report. Active participation during the presentations will also be taken into account. In particular, attendance each week is mandatory.

Language and Typesetting

Theses must be written in LaTeX2e. In order to ensure a uniform layout, the Computational Logic LaTeX class must be used. Before producing the final version of the seminar report, make sure you use the latest version. Reports have to be written in English. The report must have 5 pages.