Semantics of Programming Languages

5 credits

Course, Bachelor's level, 1DL311

Expand the information below to show details on how to apply and entry requirements.

Location
Uppsala
Pace of study
33%
Teaching form
On-campus
Instructional time
Daytime
Study period
1 September 2025–2 November 2025
Language of instruction
English
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.

Selection

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

Fees
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 and tuition fees.
  • First tuition fee instalment: SEK 10,833
  • Total tuition fee: SEK 10,833

Read more about fees.

Application deadline
15 April 2025
Application code
UU-11003

Admitted or on the waiting list?

Registration period
25 July 2025–7 September 2025
Information on registration from the department

Location
Uppsala
Pace of study
33%
Teaching form
On-campus
Instructional time
Daytime
Study period
1 September 2025–2 November 2025
Language of instruction
English
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.

Admitted or on the waiting list?

Registration period
25 July 2025–7 September 2025
Information on registration from the department

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.

FOLLOW UPPSALA UNIVERSITY ON

Uppsala University on Facebook
Uppsala University on Instagram
Uppsala University on Youtube
Uppsala University on Linkedin