Language Abstractions for Concurrent and Parallel Programming

10 credits

Syllabus, Master's level, 1DL540

Education cycle
Second cycle
Main field(s) of study and in-depth level
Computer Science A1N
Grading system
Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
Finalised by
The Faculty Board of Science and Technology, 30 August 2018
Responsible department
Department of Information Technology

Entry requirements

120 credits of which at least 60 in computer science including imperative and object-oriented programming. Functional programming is recommended or can be studied in parallel with the course. Proficiency in English equivalent to the Swedish upper secondary course English 6.

Learning outcomes

On completion of the course, the student should be able to:

  • write and modify programs using different models and language abstractions for concurrent and parallel programming,
  • analyse models with respect to which specific problems they address, where they can be used and where they should be avoided,
  • explain the difference between a model and its implementation in a specific language,
  • explain how some languages implement hybrids or multiple models and how these can interact.


Some different models for concurrency and parallel programming, e.g., threads and locks (to understand what problems other models solve), transactional memories, actors, side-effect-free combinators and map-reduce, fork/join frameworks, dataparallelism. A number of different programming languages to illustrate these models, such as C, Java, Erlang. Laboratory work that highlights strengths and weaknesses of the models.

Closer study of a model and its implementation in some language to be used as a basis for comparisons between models.


Lectures, labs, tutoring during project work.


Oral and writen assessment of assignments, 7 credits, and project work, 3 credits.

If there are special reasons for doing so, an examiner may make an exception from the method of assessment indicated and allow a student to be assessed by another method. An example of special reasons might be a certificate regarding special pedagogical support from the disability coordinator of the university.

No reading list found.