Praktische Semantik von Programmiersprachen (SoSe 2019)

For the course description, see here.

Please write me an email or show up if you’re interested in attending, but may have a scheduling conflict. Subscription on StudOn so far goes slower than in previous years, and we may have some room for adjustments, depending on other people’s constraints.

The lecture will be recorded again this year and the old recording of the obsolete first edition is going to be deleted. The new recording will be only available to the participants of the course from the university network, protected by a password.

The tool we are going to use throughout the course is Coq. Ideally, go for the latest stable release (8.9.0 before the beginning of the semester) or the alpha/beta development version if you’re adventurous. You can install using either:

• the Coq webpage itself, but decide if you want it bundled with CoqIDE
• release pages of subsequent versions on GitHub (including newest dev alpha/beta version—which might be risky—but also other recent versions). One advantage of native-code is that it is supposed to “run 4 to 10 times faster than bytecode”
• whichever port system you’re using on your OS
• your favourite package manager (opam, the OCaml package manager, recommended; another option is nix)

I will tell you more during the first lecture about the choice of possible IDEs.

Please register via the StudOn registration link. If you’re already a member, this is the regular StudOn page, which is going to be used to post proof scripts, homework and additional lecture materials as we progress. Hence, the role of this page ends (possible updates in future if lecture hours are going to change).