6 ECTS credits
165 h study time
Offer 1 with catalog number 4020800FNR for all students in the 1st semester at a (F) Master - specialised level.
The course studies, in a formal manner:
This is based on the simply typed lambda calculus and various extensions, among others:
Not all topics are covered every year.
NA
1 Formalising informal definitions and statements regarding programming languages
2 Formally proving properties of programming languages
3 Creatively using the main concepts related to type systems and abstract interpretation in new applications
4 Appreciating the formal study of programming languages
The final grade is composed based on the following categories:
Other Exam determines 100% of the final mark.
Within the Other Exam category, the following assignments need to be completed:
Micro-teaching presentation: 20%
Project assignment: 30%
Oral exam: 50%
This offer is part of the following study plans:
Master in Applied Sciences and Engineering: Computer Science: Artificial Intelligence (only offered in Dutch)
Master in Applied Sciences and Engineering: Computer Science: Multimedia (only offered in Dutch)
Master in Applied Sciences and Engineering: Computer Science: Software Languages and Software Engineering (only offered in Dutch)
Master of Applied Sciences and Engineering: Computer Science: Artificial Intelligence
Master of Applied Sciences and Engineering: Computer Science: Multimedia
Master of Applied Sciences and Engineering: Computer Science: Software Languages and Software Engineering
Master of Applied Sciences and Engineering: Computer Science: Data Management and Analytics