LFU:online

Advanced understanding of selected advanced areas of specialisation in logic and learning; acquisition of the ability to independently educate themselves in the field.

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