-
SSE
-
Lehre
-
Wintersemester 2022/2023
Type Systems for Correctness and Security
exercises 2 sws) Location: OH14 / 104 Start: 11.10.2022 Moodle: This course will be given in English. 1,19 Last evaluation overall grade Course Content Type systems help to avoid errors in programs from the [...] during the course of the lecture and exercises. Furthermore, we will examine the type systems of well-known programming languages such as Java or Scala in more detail. Literature The course is based on [...] announced throughout the course. Lecture The session is interactive . So you can ask questions at any time. Feel free to do so. Additionally, the recordings from previous years courses are available. Theoretical …