TDDB42 Programspråkssemantik, 3 poäng
/Semantics of Programming Languages/
För: C3, C4

Utbildningsområde: Teknik    Ämnesgrupp: Datalogi
Fördjupningsnivå: D
Klassning för datavetenskaplig examen: Datavetenskap
Mål:
Att tillhandahålla verktyg för studium av programspråk. Särskild vikt lägges vid denotationssemantik.

Förkunskaper:
Motsvarande TDDB 90 Diskret matematik och logik samt TDDA 43 Programmeringsteori.

Påbyggnadskurser:
TDDB 40 Introduktion till omskrivningssystem.

Organisation:
Materialet inläses enskilt av deltagarna. Handledning (enskilt eller i grupp) ges vid behov.

Kursinnehåll:
Grundläggande begrepp inom programspråkssemantik: kompositionalitet, full abstraktion. Semantik för imperativa och funktionella språk. Domän- och kategoriteori. Rekursiva domänekvationer.

Kurslitteratur:
R. D. Tennent: "Semantics of Programming Languages", Prentice Hall, 1991. ISBN 0-13-805599-8

UPG1Inlämningsuppgifter och muntlig tentamen. , 3 p.

Undervisningsspåk är svenska.

Engelsk kursplan
Gäller 1999, beslut av utbildningsnämnden november 1998