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.

Semester
1st semester
Enrollment based on exam contract
Impossible
Grading method
Grading (scale from 0 to 20)
Can retake in second session
Yes
Taught in
Dutch
Partnership Agreement
Under agreement for exchange of courses
Faculty
Faculty of Science and Bio-engineering Sciences
Department
Computer Science
External partners
Universiteit Gent
Educational team
Christophe Scholliers (course titular)
Activities and contact hours
30 contact hours Lecture
15 contact hours Seminar, Exercises or Practicals
Course Content

The course studies, in a formal manner:

  • syntax
  • operational semantics
  • type systems
  • program analysis based on, among others, abstract interpretation
  • the main properties of syntax, semantics, and type systems, as well as related proof methods, such as:
    • type preservation
    • progress
    • Curry-Howard correspondence
    • logical relations
    • ...

This is based on the simply typed lambda calculus and various extensions, among others:

  • primitive types
  • tuples
  • records
  • sum-types
  • polymorphism
  • ...

Not all topics are covered every year.

Additional info

NA

Learning Outcomes

General competences

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

Grading

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:

  • Other exam with a relative weight of 1 which comprises 100% of the final mark.

Additional info regarding evaluation

Micro-teaching presentation: 20%

Project assignment: 30%

Oral exam: 50%

Allowed unsatisfactory mark
The supplementary Teaching and Examination Regulations of your faculty stipulate whether an allowed unsatisfactory mark for this programme unit is permitted.

Academic context

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