Semester page for INF5906 - Spring 2016

no lecture today.

Apr. 15, 2016 7:25 AM


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


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