Semester page for INF5906 - Spring 2016

no lecture today.

Apr. 15, 2016 7:25 AM
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).

Feb. 19, 2016 9:07 AM