LFU:online

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. 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.

Program Analysis VU 3 can be used as 'Wahlmodul', cf https://informatik.uibk.ac.at/anerkennungen/ ('Zuordnungsbestätigung').