Velkommen til Københavns Universitets kursuskatalog
NDAA09026U Topics in Programming
Full Degree Master
C (Mon 13-17 + Wednes 8-17)
Continuing and further
Study Board of Mathematics and Computer
Department of Computer Science
Robert Glück (6-787d8676747c51757a3f7c863f757c)
Saved on the
The purpose of this course is to provide an introduction to
state-of-the-art research and applications within an area of
programming languages involving theory, design, implementation
and/or application of programming languages. It acquaints students
with performing independent research and its communication in
seminar and project form.
The course consists of a particular set of topics reflecting
state-of-the-art research and applications within theory, design,
implementation and/or application of programming languages. This
may include the construction, analysis or manipulation of programs
with predictable properties and/or for a certain purpose. The
particular topic(s) change from year to year.
Develop a given project proposal into a project plan and execute
it. Write an academic report and give a short individual oral
presentation that conveys key results and insights contained in
Discuss properties such as correctness, performance and define what
they mean precisely in the given area of studies.
Read, assess and commmunicate research papers.
Apply central results in the given area of studies.
Prepare and give seminar talk.
The dual nature of programs as software (to be executed) and as
data (to be analyzed, transformed) discuss the role of a precise
(mathematical) semantics for a programming language in connection
with manipulating programs discuss principles of programming
language design and how they are applied (or not) in connection
with the topics under study specify ideas and concepts as rigorous
definitions and make falsifiable (or provable) statements about
Research articles and excerpts from books, distributed
electronically. See Absalon when the course is set
Teaching and learning methods
The course progresses from teaching (lecture) to
seminar and finally project form:
Lecture phase: lectures and exercises, formation of
Seminar phase: student seminar presentations
Project phase: project work
The course is part of the Programming Languages
and Systems (PLS) profile within the Copenhagen Master of
Excellence (COME) in Computer Science program.
Students following the PLS courses satisfy the topical and formal
Students wishing to take the course as an elective are asked to
check the topical prerequisites on the course home page for the
particular topics covered and contact the course responsible
teacher if they have questions.
Individual oral presentation of group report followed by individual
examination in the whole scope of the course (see topics and
learning objectives), though with special emphasis on the subject
of the written report the student has co-authored.
7-point grading scale
No external censorship
One internal censor.
Individual examination based on originally