Praktische Semantik von Programmiersprachen 2019

These resources are password protected!

This course is produced by FSI. Please contact forum administrators

Detailed information

Most recent entry on 2019-07-25 

Faculty

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Passwort

Language

German

We study the foundations of the imperative and functional languages, including semantics and type systems. The special feature of this course is that theory is done in a very practical and hands-on way: we not just prove, but program all the results from first-principles. The basic tool used in the course is Coq proof assistant, which can be regarded as a functional programming language in its own right. It has been used, for example, to verify correctness of Java Card technology, C compilers or, more recently, fragments of x86 architecture.

Lernziele und Kompetenzen:

 

Wissen
The students explain the basics of both programming semantics and proof assistants, in particular Coq.
Verstehen
The students prove theorems using a proof assistant.
Anwenden
The students transfer proofs into programs and programs into proofs.
Analysieren
The students examine behaviour of simple programs using formal semantics
Evaluieren (Beurteilen)
The students evaluate the role played by logic and type theory in scientific approach to programming.
Erschaffen
The students provide formal semantics to a simple programming language.

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-04-25
Passwort
01:24:37
2
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-04-29
Passwort
01:20:34
3
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-05-02
Passwort
01:17:17
4
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-05-06
Passwort
00:59:55
5
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-05-09
Passwort
01:27:17
6
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-05-13
Passwort
01:26:13
7
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-05-16
Passwort
01:24:09
8
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-05-20
Passwort
01:22:46
9
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-05-23
Passwort
01:23:46
10
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-05-27
Passwort
01:15:38
11
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-06-03
Passwort
01:09:52
12
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-06-06
Passwort
01:17:05
13
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-06-13
Passwort
01:22:57
14
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-06-17
Passwort
01:18:07
15
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-06-24
Passwort
01:11:30
16
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-06-27
Passwort
01:25:56
17
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-07-01
Passwort
01:06:21
18
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-07-04
Passwort
01:08:12
19
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-07-08
Passwort
01:15:41
20
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-07-11
Passwort
01:19:05
21
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-07-15
Passwort
01:15:25
22
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-07-18
Passwort
01:11:59
23
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-07-22
Passwort
01:20:00
24
Praktische Semantik von Programmiersprachen
Dr. Tadeusz Litak
2019-07-25
Passwort
01:22:16

More courses from Dr. Tadeusz Litak

Schloss1
Dr. Tadeusz Litak
2019-07-25
Passwort

More courses in this category "Computer Science"

Kleinöder
Dr. Jürgen Kleinöder
2018-01-30
Free
Strehl, Volker
Prof. Dr. Volker Strehl
2016-02-03
Studon
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Free
MEGGIE-Einweihung
2017-04-06
Free