703052 VU Program Analysis
winter semester 2018/2019 | Last update: 04.02.2019 | Place course on memo list703052
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
- Faculty of Mathematics, Computer Science and Physics
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 |