Funktionale Programmierung und Verifikation

What it is about

You will learn the basics of functional programming and techniques for program verification. The module covers correctness and termination of imperative programs as well as semantics and verification of functional programs; you will also practice programming in a functional language and apply verification methods to small programs. In the end you will be able to solve simple algorithmic problems functionally and perform basic verifications.

What you will be able to do

• Understand basic concepts of functional programming languages
• Solve small algorithmic problems in a functional language
• Able to independently acquire knowledge in other functional languages
• Apply techniques for verifying imperative programs (Floyd/Hoare, termination, procedures)
• Know and apply semantics and verification of functional programs

What the module consists of

• Vorlesungpresents concepts of program verification and the programming language and explains them with examples
• Übungdeepens understanding, trains verification of small programs and practical application of the programming language to programming tasks

Teaching method

• Folien- oder Tafelpräsentationfor introduction and explanation of the concepts
• Übungsaufgabenfor deepening, practice in verification techniques and practice in the programming language
• gegebenenfalls Online-Programmierung/Animationento support learning and practice