Published Nov. 28, 2018 2:43 PM



I replaced the slides and the ``script'' with a slightly polished version, where typos etc have been removed and where more explanation has been added during the semester.


The script-version is basically a commented (and differently formatted) version of the slides.




Published Nov. 15, 2018 7:07 AM

I uploaded yesterday's slides (in a preliminary form). There might be more (or different) in the current chapter, as I am reordering and reworking them this year slightly.


Also the corresponding skript is under revision (or under polishing).


Soon, I will replace aslo the earlier slides/script with a polished version, sometimes there had been typos here and there, nothing critical, but still I erased them when spotting them during the semenster (only that I not uploaded a newly generated PDF each time).

Published Nov. 15, 2018 7:01 AM


after the short discussion, I proposed the 14th Dec. as date for the oral exam.


It's very likely that therefore that is the date and it will appear at some point in the corresponding slot here at the web-page (including the room), Martin

Published Sep. 19, 2018 2:19 PM

hi, someone ask me whether the code is publically avaiable. actually it is:


it contains more than we will discuss. Material which covers the core of the chapter DFA is  under


In particular:


  - basic infrastructure under

   (like parsing and other such things)


 - the 4 discussed data flow  analyses:

Published Aug. 22, 2018 9:54 AM



slides used in the lecture will be uploaded (hopefully) before the lectures and accessible by the correspondig directory resp. tab on the left hand side. There will also be a ``handout version'' of the slides (under ``script'') which contains the content of the slides + extra discussions around the technical content.

Other infos include handouts etc.