Functional Programming and Verification
|Dozent:||Prof. Dr. Helmut Seidl|
|Ort/Zeit:||Friday, 08:15 - 09:45 / MW 0001 Gustav-Niemann-Hörsaal|
|Beschreibung: ||This lecture introduces the basic concepts of functional programming by the example of the OCaml language. Furthermore, techniques to prove properties of imperative and functional programs are taught.|
(Hint: This site will be updated regulary. Last modification: July 12th, 2018)
- We started the preparation of the upcoming lecture and are now looking for tutors. If you are interested, please apply here. Do not hesitate to contact Nico Hartmann if you have any questions about the lecture, the tutor positions or your eligibility.
- Correctness of imperative programs
- Fundamentals of functional programming with OCaml
- values, variables, functions
- data structures, pattern matching
- higher order functions
- polymorphic types
- Programming on the whole: Modules and functors
- Correctness of functional programs
- Concurrency with channels and rendezvous
The lecture takes place on friday from 08:15 to 09:45 in MW 2001 Rudolf-Diesel-Hörsaal. The first lecture is on October 19th, 2018.
The lecture will be given in English.
Exercises will be offered in German as well as English.
- OCaml Documentation (esp. "The core language")
- Guy Cousineau und Michel Mauny, The Functional Approach to Programming, Cambridge University Press, Cambridge, 1998
- T. Ottmann, P. Widmayer: Algorithmen und Datenstrukturen. Spektrum 2002