Semantics of Programming Languages
Uppsala University
Uppsala
Startdatum:
Slutdatum:
Studietakt: 33 %
Publicerad utbildningskatalog
Semantics of Programming Languages
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: 1DL311
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.
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.
Utbildningstillfällen
Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.
Källa och uppdatering
Hämtad: .
Publicerad: .
Visa källversion
Publiceringsversion: 8e217193-f5fa-4778-b085-a4521fd03e8d
Kontrollsumma: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Senast ändrad enligt källan: 2026-03-09T12:14:27