Elements of Programming Languages
- ECTS credits5
- Teaching semesterSpring, Autumn
- Course codeINF328
- Number of semesters1
- LanguageEnglish
- Resources
Main content
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.