Tillfället ingår inte i den aktuella katalogen. Uppgifterna är bevarade från en tidigare publicering. Kontrollera aktuellt utbud hos anordnaren.
Uppsala University
Semantics of Programming Languages
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 o…
- Högskoleutbildning
- Uppgift saknas
- 31 augusti 2026
- Uppsala
- Uppgift saknas
- 33 %
Översikt
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.
Antagningspoäng
Behörighet
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.
Texten återges från Susa-underlaget. Antagningsdata gör ingen egen mappning mellan GY11 och GY25 och bedömer inte personlig behörighet.
Källa, mått och datakvalitet
- Källa
- Skolverket Susa-navet
- Period
- 2026-08-31
- Mått
- Behörighetstext återgiven från publicerat Susa-underlag; ingen personlig behörighetsbedömning.
- Population
- Utbildningstillfälle e.uoh.uu.1dl311.11003.20262
- Senaste kontroll
- 2026-09-23T10:39:41.205927+00:00
- Begränsning
- GY11 och GY25 mappas inte av Antagningsdata. Grundläggande och särskilda villkor separeras inte utan strukturerat underlag.
Utbildningens innehåll
Studiernas upplägg
Ansökan och viktiga datum
- Utbildningen startar
- Utbildningen slutar
Lön och lönefördelning
Vanliga yrken efter utbildningen
Studenterna
Geografisk bakgrund
Tidigare gymnasieskolor och program
Genomströmning och utfall
Om anordnaren
Uppsala University
Anordnare för det publicerade utbildningstillfället.
Källor och datakvalitet
Utbildningsfakta för valt tillfälle kommer från Skolverket Susa-navet.
Hämtad . Publicerad . Tider visas i svensk tid.
Källidentitet och publiceringsversion
- Publiceringsversion
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Utbildningsidentitet hos källan
- i.uoh.uu.1dl311.11003.20262
- Tillfällesidentitet hos källan
- e.uoh.uu.1dl311.11003.20262
- Utbildningsformens källkod
- HS
- Utbildningskod hos källan
- 1DL311
- Ändringstid enligt källan
- 2026-03-09T12:14:27
Anordnare, utbildning och utbildningstillfälle är separata identiteter. Uppgifter om ansökan bör kontrolleras på den officiella webbplatsen. Kompletterande statistik har inte hämtats från denna källa.