How to prepare for an oral exam
like for instance the compiler construction course.
This is my homepage, resurrected step-by-step from the previous one in quite an overhaul. The university had decided to no longer tolerate self-designed webpages; they call them “private home pages”. I take that as opportunity to move on, and redesign my pages in the process, brush them up, and add also new stuff, gradually.
To do so, I am familiarizing myself with Jekyll (and connect it to emacs org mode). It involves some experimentation with different themes, different templates, configurations, etc.; there are a lot of moving parts…
That means: the pages here are under construction. Contentwise, not everything is in place yet (not all publications are accessible, not all master theses…) So the page is still in flux.
compilerconstruction
How to write a parser for the first time, e.g. for the oblig
or maybe also not the first time.
Worklist algorithms
A small amount of background information (best read in the context of the first sets)
How to implement implement regular expression matching
Or maybe how not to implement it?
Did Fortran kill a Mars Mission?
(White-)space exploration, FORTRAN, lexing, antiquity & fetischism
Much ado about nothing: Splitting hairs about the empty regular language
Fine points and corner cases for regular expressions and their relation with FSAs
staticanalysis
Mono- vs. polymorphic let
In the lecture, we covered type inference for generic polymorphism in a typed calculus with higher-order functions, including recursive functions and let-bin...
Type inference (Algos W and J …)
Some remarks about variations on the theme
programverification
Sound & (in-)complete proof system for first-order logics
Some clarification (I hope)
Bitcoin, blockchain & formal methods, seriously now?
Formal methods are sales pitch