Modulbeschreibung

Functional Programming

Kurzzeichen:
M_FP
Durchführungszeitraum:
FS/22
ECTS-Punkte:
4
Lernziele:

All participants are able to explain and apply formal programming-language-based techniques for the construction and verification of computer programs. Special emphasis will be made on techniques that surpass some of the limitations of mainstream programming in the imperative object oriented programming style, and on alternatives to mainstream verification using unit testing.

 

In particular, all participants should be able to:

  • construct programs in the functional style.
  • verify the correctness of programs using property-based testing and proof.
  • explain the formal foundations of the techniques covered.

 

The functional programming language Haskell will be used as a basis whenever appropriate.  

Verantwortliche Person:
Mehta Farhad D.
Empfohlene Module:
Zusätzlich vorausgesetzte Kenntnisse:

Englisch-Kenntnisse

(Dieses Modul wird auf Englisch durchgeführt.)

Skriptablage:
Modultyp:
Standard-Modul für Informatik STD_11(Empfohlenes Semester: 4)
Standard-Modul für Informatik STD_14(Empfohlenes Semester: 4)
Standard-Modul für Generalist STD_14 (PF)
Standard-Modul für Informatik STD_21(Empfohlenes Semester: 2)

Kurse in diesem Modul