DM820: Advanced Topics in Programming Languages (5 ECTS)

STADS: 15015301

Level
Master's level course approved as PhD course

Teaching period
The course is offered when needed.
The course is offered according to needs.

Teacher responsible
Email: petersk@imada.sdu.dk

Additional teachers
lcf@imada.sdu.dk

Timetable
Show entire timetable
Show personal time table for this course.

Comment:
Ubegrænset deltagerantal.

Prerequisites:
None

Academic preconditions:
The contents of DM509 Programming Languages should be known.

Course introduction
The goal of this course is to give the participants an understanding of advanced concepts in imperative, object-oriented, logic-based, and functional programming languages and non-standard programming paradigms. The participants should also gain further programming experience by applying these advanced concepts to practical problems.

Expected learning outcome
- use advanced features in standard programming languages
- write programs in a modern scripting language
- write programs that cooperate beyond language and system barriers
- classify unknown programming languages

Subject overview
Scripting languages, multi-paradigm languages, advanced type systems, reflection and meta programming, automatic demonstration, program verification, interactive theorem provers, domain specific languages, foreign language interfaces, declarative graphical user interfaces.

Literature
There isn't any litterature for the course at the moment.

Website
This course uses e-learn (blackboard).

Prerequisites for participating in the exam
Oral presentation of one assigned topic. Internal examination by the teachers, pass/fail (15007312). The presentation should be passed for the student to be able to pass the project assignment.

Assessment and marking:
Project report based on assigned tasks to be solved by the use of at least one of the advanced topics. The task consists of an implementation and a written report. Evaluation according to the 7-point scale, internal examiner (15007302).

Expected working hours
The teaching method is based on three phase model.
Intro phase: 10 hours

Educational activities

Language
This course is taught in Danish or English, depending on the lecturer. However, if international students participate, the teaching language will always be English.

Course enrollment
See deadline of enrolment.

Tuition fees for single courses
See fees for single courses.