Semantics of Programming Languages
Course, Bachelor's level, 1DL311
Expand the information below to show details on how to apply and entry requirements.
Autumn 2025
Autumn 2025,
Uppsala, 33%, On-campus, English
- 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
- 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
Autumn 2025
Autumn 2025,
Uppsala, 33%, On-campus, English
For exchange students
- 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.