Praktische Semantik von Programmiersprachen
According to UniVis, we’re scheduled for Do, 14:15 – 15:45, 01.255-128 and Fr, 12:15 – 13:45, 01.255-128. While in principle we do not rule out rescheduling, in practice it’s unlikely, given usual difficulties with finding a slot which would please everybody.
The tool we are going to use throughout the course is Coq, in its version 8.6, together with the ssreflect language from the mathcomp library. You can use the versions installed in the CIP pool or install it on your own machine using your favourite package manager (opam, the OCaml package manager, recommended).