The main aim of this module is to apply formal programming language based techniques for the construction and verification of computer programs.
Special emphasis will be made on techniques outside mainstream programming in the imperative object oriented programming style, and verification using unit testing.
All participants are able to:
Functional programming (Haskell):
General Programming language concepts:
Special topics will be covered, depending on student interest and the time available in the current semester. Here are some examples of such topics covered in the past:
The content of this course varies strongly in order to reflect student interest and recent developments in this area. It is therefore strongly recommended that you complete the examination in the same semester as you enrolled for this course.
This course will be taught in English.
Diese Beschreibung ist rechtlich nicht verbindlich! Weitere Informationen finden Sie in der detaillierten Modulbeschreibung.