FYI

Hi,

for you interest: the slides and the material are also available via git

https://github.uio.no/msteffen/staticanalysis

the course is under the sub-dir ./course. A parser for the while language, a CFG generation etc is also available there (in ocaml). The monotone framework itself is not part of the public repos though (in case someone wants to try oneself).