Elements of Programming Languages

Teaching semester

Irregular

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 spring semester 2022: "Extraction of certified programs from proofs of their specification".

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.

Required Previous Knowledge

None

Recommended Previous Knowledge

It is recommended that you have experience with at lest one programming language.

Credit Reduction due to Course Overlap

None

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.

Examination Support Material

Aids will depend on the assessment method, and will therefore be announced in the beginning of each semester.

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.