703052 VU Program Analysis

winter semester 2018/2019 | Last update: 04.02.2019 Place course on memo list
703052
VU Program Analysis
VU 3
5
weekly
annually
German

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

see dates
Group 0
Date Time Location
Mon 2018-10-01
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-10-08
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-10-15
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-10-22
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-10-29
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-11-05
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-11-12
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-11-19
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-11-26
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-12-03
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2018-12-10
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2019-01-07
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2019-01-14
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2019-01-21
09.15 - 12.00 SR 13 SR 13 Barrier-free
Mon 2019-01-28
09.15 - 12.00 SR 13 SR 13 Barrier-free