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".
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
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
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.
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.
Type of assessment: Oral examination
- Withdrawal deadline