Skip to main content

Archived Courses

Course material of older courses given in the past.

Published on — Last updated — Hans-Dieter Hiep ORCID logo

Concepts of Programming Languages

Concepts of Programming Languages (2023-2024)
Concepts of Programming Languages (2023-2024)
YouTube

YouTube playlist of lecture videos

Slides
Slides used in lecture videos.
COPL_slides.zip
8 MB
download-circle
Exercises
Slides used during exercise classes.
COPL_exercise.zip
466 KB
download-circle
Course notes
Course notes including four assignments.
COPL_course_notes.pdf
281 KB
download-circle

Program Correctness (in Dutch)

Program Correctness (2021-2022)
Program Correctness (2021-2022)
YouTube

YouTube playlist of lecture videos

Slides (de Boer)
Slides used in lecture videos.
PC_slides_deBoer.pdf
1 MB
download-circle
Slides (Hiep)
Slides used for lecturing.
PC_slides.zip
1 MB
download-circle
Slides (Exercises)
Slides used during exercise classes.
PC_exercises.zip
2 MB
download-circle
Additional material
Lecture notes (in Dutch), notation for adaptation rules, 20 exercises
PC_extra.zip
657 KB
download-circle