it's more advanced (i.e. for especially interested master students and also for PhD students). It focuses a bit more on formal background of static analysis. For example, digging deeper into Live variable analsysis and related analysis is on the pensum. Also more advanced type systems (not as ``trivial'' as the ones we had in the compiler construction lecture.