Engelsk   Dansk
Velkommen til Københavns Universitets kursuskatalog

NDAA09026U  Topics in Programming Languages Volume 2014/2015

Course information

LanguageEnglish
Credit7,5 ECTS
LevelFull Degree Master
Duration1 block
Placement
Block 4
Schedule
C (Mon 13-17 + Wednes 8-17)
Course capacityNo limit
Continuing and further education
Study boardStudy Board of Mathematics and Computer Science
Contracting department
  • Department of Computer Science
Course responsible
  • Robert Glück (6-787d8676747c51757a3f7c863f757c)
Saved on the 04-12-2014
Content

 

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.

 

Learning Outcome

Competences

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 final report

Skills

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.

Knowledge

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 them.

Literature

Research articles and excerpts from books, distributed electronically. See Absalon when the course is set up.

Teaching and learning methods
The course progresses from teaching (lecture) to seminar and finally project form:

Lecture phase: lectures and exercises, formation of seminar/project groups
Seminar phase: student seminar presentations
Project phase: project work
Academic qualifications
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 prerequisites.

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.
Sign up
Self Service at KUnet
Exam
Credit7,5 ECTS
Type of assessment
Written assignment
Oral examination, 45 min under invigilation
Oral examination, 45 min without preparation.

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.
Marking scale7-point grading scale
Censorship formNo external censorship
One internal censor.
Re-examIndividual examination based on originally submitted report.
Criteria for exam assesment

See learning outcome.

Workload
CategoryHours
Exam1
Lectures18
Guidance6
Preparation12
Practical exercises24
Project work145
Total206
Saved on the 04-12-2014