Advanced Programming (AP)

Course content

The purpose of this course is to provide practical experience with sophisticated programming techniques and paradigms from a language-based perspective. The focus is on high-level programming and systematic construction of well-behaved programs.

The selection of the topics covered will be informed by current and emerging trends. The possible topics covered may include, but are not limited to:

  • applicative (functional) programming
  • concurrent programming
  • declarative (logic) programming
  • distributed programming
  • generic programming
  • parallel programming
  • reactive programming
Education

MSc Programme in Computer Science

Learning outcome

At course completion, the successful student will have:

Knowledge of

  • Higher-level program structuring patterns for separating concerns.
  • The basics of message-passing concurrency, and of how concurrent programming can be used for parallel programming.
  • Program structuring principles and design patterns for dealing with software errors.
  • Property-based testing of functions and stateful APIs


Skills to

  • Use program structuring principles and design patterns, such as monads, to structure the code so that there is a clear separation of concerns.
  • Use a parser combinator library to write a parser for a medium-sized language with a given grammar, including changing the grammar so that it is on an appropriate form.
  • Use parallel algorithm skeletons such as map-reduce to write data exploring programs.
  • Implement simple concurrent/distributed servers using message passing, with appropriate use of synchronous and asynchronous message passing.
  • Use program structuring principles and design patterns for making reliable distributed systems in the presence of software errors.
  • Write idiomatic programs in a logic programming language.


Competences to

  • Quickly acquaint themselves with advanced programming techniques, from academic literature and/or technical documentation.
  • Use those techniques to solve challenging, realistic problems.
  • Write correct, efficient, and maintainable programs with clear separation of concerns.
  • Give an assessment of their own code, based on a systematic evaluation of correctness, selection of algorithms and data structures, error scenarios, and elegance.

 

Lectures, mandatory assignments, exercise labs.

See Absalon when the course is set up.

Programming ability in at least two substantially different languages.
It is strongly recommended to have some experience with functional programming, corresponding to Chapters 2, 4, 5, and 6 of "Learn You a Haskell for Great Good", for example.

Academic qualifications equivalent to a BSc degree is recommended.

Written
Individual
Continuous feedback during the course of the semester
ECTS
7,5 ECTS
Type of assessment
Written assignment, 7 days
Individual, written take-home exam.
Aid
All aids allowed
Marking scale
7-point grading scale
Censorship form
External censorship
Criteria for exam assessment

See learning outcome.

Single subject courses (day)

  • Category
  • Hours
  • Lectures
  • 29
  • Practical exercises
  • 21
  • Exam
  • 25
  • Preparation
  • 131
  • English
  • 206

Kursusinformation

Language
English
Course number
NDAA09013U
ECTS
7,5 ECTS
Programme level
Full Degree Master
Duration

1 block

Schedulegroup
A
Capacity
No limit
Studyboard
Study Board of Mathematics and Computer Science
Contracting department
  • Department of Computer Science
Contracting faculty
  • Faculty of Science
Course Coordinator
  • Ken Friis Larsen   (8-746f756a7b7c6e77496d7237747e376d74)
Saved on the 12-06-2019

Are you BA- or KA-student?

Are you bachelor- or kandidat-student, then find the course in the course catalog for students:

Courseinformation of students