Semantics of Programming Languages, 5 credits

Academic year 2023/2024

  • Autumn 2023, 33%, Campus

    Start date: 28 August 2023

    End date: 30 October 2023

    Application deadline: 17 April 2023

    Application code: UU-11003 Application

    Language of instruction: English

    Location: Uppsala

    Selection: Higher education credits in science and engineering (maximum 240 credits)

    Registration: 28 July 2023 – 4 September 2023

Entry requirements: 60 credits in mathematics and computer science, including Algebra I, Logic and Proof Techniques I, a second programming course and programming in at least one functional and one imperative language.


If you are not a citizen of a European Union (EU) or European Economic Area (EEA) country, or Switzerland, you are required to pay application or tuition fees. Formal exchange students will be exempted from tuition fees, as well as the application fee. Read more about fees.

Application fee: SEK 900

Tuition fee, first semester: SEK 10,833

Tuition fee, total: SEK 10,833

About the course

The aim of semantic descriptions is to give an exact definition of the implication of a programming language without uncertainties or ambiguities. This is useful when you need a precise understanding of how a programming language works, e.g. when designing programming languages, when constructing programs that use other programs as data, e.g. compilers, but also for programmers for reference. Different semantic methods and their use are examined with a special focus on operational semantics.

More information


Department of Information Technology

hus 10, Lägerhyddsvägen 1

Box 337, 751 05 UPPSALA


Student counsellor