Programming Paradigms - Software Lab - Department of Computer Science

Programming Paradigms (Summer Semester 2020)

Overview

Lecturer	Prof. Dr. Michael Pradel
Teaching assistants	Luca Di Grazia, Daniel Lehmann, Moiz Rauf
Course type	Lecture + Exercises
Language	Lectures in German. All written material (slides, exercises, etc.) in English. Exercises in German and English.
Ilias	Ilias course with forum and quizzes

Content

This course introduces the concepts of programming languages. Starting from how to describe the syntax of a language, we will cover core language design concepts, such as scopes, binding, control flow, types, control abstraction, and data abstraction. The course discusses different programming language paradigms, including imperative languages, functional languages, and logic languages. We also cover language support for concurrency and features of dynamic languages. By gaining a a deeper understanding of language concepts, the course enables students to make best use of a given programming language and to choose the most suitable language for a given development task.

Online Course

This is an online course. Lecture videos will be provided in this playlist throughout the semester, roughly following the schedule below. The deadlines for the six graded exercises are firm and not affected by the online nature of the course, as these exercises are submitted electronically anyway.

Schedule of Lectures

Date	Topic	Material
Apr 20, 2020	Lecture: Introduction	Part 1 (Motivation): Lecture, Slides Part 2 (Organization): Lecture, Slides Part 3 (Introduction): Lecture, Slides Chapter 1 in PLP book
Apr 22, 2020	Lecture: Syntax	Part 1 (Tokens): Lecture, Slides Part 2 (Context-free grammars): Lecture, Slides Part 3 (Scanning): Lecture, Slides Chapters 2.1 and 2.2 in PLP book
Apr 27, 2020	Lecture: Syntax	Part 4 (Overview of parsing): Lecture, Slides Part 5 (Top-down parsing): Lecture, Slides Part 6 (Bottom-up parsing): Lecture, Slides Chapter 2.3 in PLP book
Apr 29, 2020	Lecture: Names, Scopes, Bindings	Part 1 (Overview): Lecture, Slides Part 2 (Lifetime): Lecture, Slides Chapters 3.1 to 3.2 in PLP book
May 1, 2020	Exercise 1 published: Grammars and scanning	Exercise sheet Code and data
May 4, 2020	Lecture: Names, Scopes, Bindings	Part 3 (Scopes): Lecture, Slides Part 4 (Aliasing, overloading): Lecture, Slides Part 5 (Referencing environments): Lecture, Slides Chapters 3.3 to 3.6 in PLP book
May 6, 2020	Lecture: Control Flow	Part 1 (Expressions): Lecture, Slides Part 2 (Structure): Lecture, Slides Chapters 6.1 to 6.2 in PLP book continuation1.rb continuation2.rb
May 8, 2020	Exercise 1 due
May 15, 2020	Exercise 2 published: Parsing	Exercise sheet Code and data
May 18, 2020	Lecture: Control Flow	Part 3 (Selection): Lecture, Slides Part 4 (Iteration): Lecture, Slides Part 5 (Recursion): Lecture, Slides Chapters 6.4 to 6.6 in PLP book
May 22, 2020	Exercise 2 due
May 25, 2020	Lecture: Type Systems	Part 1 (Introduction): Lecture, Slides Part 2 (Languages): Lecture, Slides Part 3 (Polymorphism): Lecture, Slides Part 4 (Equivalence): Lecture, Slides Chapters 7.1 to 7.3 in PLP book Casts.java gradual_typing.py ParametricPolymorphism.java SubtypePolymorphism.java
May 27, 2020	Lecture: Type Systems	Part 5 (Compatibility): Lecture, Slides Part 6 (Formal Description): Lecture, Slides Chapters 3 and 8 in TAPL book coercions.c
May 29, 2020	Exercise 3 published: Names, Scopes, Binding	Exercise sheet Code and data
June 5, 2020	Exercise 3 due
June 8, 2020	Lecture: Composite Types	Part 1 (Records): Lecture, Slides Part 2 (Arrays): Lecture, Slides Chapters 8.1 to 8.2 in PLP book union.c
June 12, 2020	Exercise 4 published: Control Flow	Exercise sheet Code and data
June 15, 2020	Lecture: Composite Types	Part 3 (Pointers): Lecture, Slides Part 4 (More Pointers): Lecture, Slides Chapter 8.5 in PLP book
June 17, 2020	Lecture: Subroutines and Control Abstraction	Part 1 (Calling Sequences): Lecture, Slides Part 2 (Parameter Passing): Lecture, Slides Chapters 9.1 to 9.3 in PLP book
June 19, 2020	Exercise 4 due
June 22, 2020	Lecture: Subroutines and Control Abstraction	Part 3 (Exceptions): Lecture, Slides Part 4 (Coroutines): Lecture, Slides Part 5 (Events): Lecture, Slides Chapters 9.4 to 9.6 in PLP book Exceptions.java NestedHandlers.java SwallowedExceptions.java signal1.c signal2.c
June 24, 2020	Lecture: Data Abstraction and Object Orientation	Part 1 (Encapsulation and Information Hiding): Lecture, Slides Part 2 (Inheritance): Lecture, Slides Part 3 (Initialization and Finalization): Lecture, Slides Chapters 10.1 to 10.3 in PLP book account.cpp Liskov.java Virtual.cpp Inheritance.cpp Immortal.java
June 27, 2020	Exercise 5 published: Types	Exercise sheet Code and data
July 4, 2020	Exercise 5 due
July 6, 2020	Lecture: Data Abstraction and Object Orientation	Part 4 (Dynamic Method Binding): Lecture, Slides Part 5 (Mix-in and Multiple Inheritance): Lecture, Slides Chapters 10.4 to 10.6 in PLP book Abstract.java Abstract.cpp
July 8, 2020	Lecture: Concurrency	Part 1 (Introduction): Lecture, Slides Part 2 (Concurrent Programming Fundamentals): Lecture, Slides Chapter 13.1 and 13.2 in PLP book
July 10, 2020	Exercise 6 published: Data Abstraction	Exercise sheet Code and data
July 13, 2020	Lecture: Concurrency	Part 3 (Implementing Synchronization): Lecture, Slides Part 4 (Language-level Constructs): Lecture, Slides Chapter 13.3 and 13.4 in PLP book Synchronized.java
July 15, 2020	Lecture: Functional Languages	Part 1 (Introduction): Lecture, Slides Part 2 (Scheme): Lecture, Slides Part 3 (Evaluation Order): Lecture, Slides Chapter 11.1, 11.2, 11.3, and 11.5 in PLP book
July 17, 2020	Exercise 6 due
September 3, 2020	Final Exam	Exam, Solution

Programming Paradigms (Summer Semester 2020)

Overview

Content

Online Course

Schedule of Lectures

News and Events