Semantik för programmeringsspråk

Uppsala universitet
Sammanfattning
Fristående kurser (grundnivå)
Uppsala
5 hp
Deltid
Klassrum
Startdatum: Höst 2024 - Uppsala

Semantik för programmeringsspråk

Syftet med semantiska beskrivningar är att ge en exakt definition av innebörden av ett programspråk utan oklarheter eller tvetydigheter. Det är till nytta när man behöver en precis förståelse för hur ett programspråk fungerar, till exempel vid utformning av nya programspråk, vid konstruktion av program som använder andra program som data, som kompilatorer, men även av programmerare för referensändamål. Olika semantiska metoder och deras användning tas upp, med särskilt fokus på operationell semantik.

Förkunskaper

60 hp matematik och datavetenskap inklusive Algebra I, Logik och bevisteknik I, en fortsättningskurs i programmering, programmering i minst ett funktionellt och minst ett imperativt språk.

Uppsala universitet

Välkommen till Uppsala universitet

Välkommen till Uppsala universitet Uppsala universitet är ett internationellt välkänt forskningsuniversitet med vetenskapens och utbildningens utveckling i fokus. Universitetet främjar utveckling och innovation genom en aktiv roll i samhället. Utbildningar på Uppsala Universitet Uppsala universitet har ett stort utbildningsutbud på...


Läs mer om Uppsala universitet och visa alla utbildningar

Hitta till utbildaren

Uppsala universitet


Recensioner

Det finns inga recensioner för Semantik för programmeringsspråk

Jobb & Lön

Var finns framtidens jobb & hur mycket kommer jag att tjäna?

Få koll på vad du kan tjäna efter din utbildning och om den branschen är värd att investera din tid i.

Till Jobb & Lön