Elements of Programming Languages

Postgraduate course

Course description

Objectives and Content

The course covers selected topics related to the design, implementation and use of programming, specification and domain specific languages. The contents may vary. Topic for autumn semester 2023: "What is Logic?".

Learning Outcomes

After completing the course the student should be able to:
  • Explain and master main methods within the topic
  • Perform independent research in the topic.

Semester of Instruction

Required Previous Knowledge
Recommended Previous Knowledge
It is recommended that you have experience with at lest one programming language.
Credit Reduction due to Course Overlap
Compulsory Assignments and Attendance
Compulsory assignments. The assignments are valid for two terms, the semester the assignments are approved, and the following.
Forms of Assessment
Oral examination/presentation.
Compulsory exercises may count towards the final grade.
Grading Scale
The grading scale used is either A to F, (grade A is the highest passing grade in the grading scale, grade F is a fail.) or fail/pass.
Examination Support Material
Aids will depend on the assessment method, and will therefore be announced in the beginning of each semester.