Modulbeschreibung

Functional Programming

Kurzzeichen:
M_FP
Durchführungszeitraum:
FS/22-FS/24
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.
Standort (angeboten):
Rapperswil-Jona, St. Gallen
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 Informatik STD_21(Empfohlenes Semester: 2)
Standard-Modul für Informatik Retro STD_14_UG(Empfohlenes Semester: 4)
Standard-Modul für Generalist STD_14 (PF)

Kurse in diesem Modul