LFU:online

Vertieftes Verständnis in ausgewählten weiterführenden Vertiefungsgebieten aus Logik und Lernen; Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden

Program (and resource) 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. We will follow the book "Principles of Program Analysis" by Nielson et al. closely and link to ongoing research in static resource analysis.

Lecture and lab are combined in this lecture type; at the beginning more time will be attributed to the presentation of the topic, while later, we will spend more time on hand-on examples.

Apart from standard homework assignments, there will be two programming assignments, where students are asked to implement algorithms discussed in the lecture. There will be no final exam.

We will follow the book "Introduction to Static Analysis" by Rival et al. closely and link to ongoing research in static resource analysis.