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 TDDB90 Diskret matematik och logik samt TDDA43 Programmeringsteori.

Påbyggnadskurser:
TDDB40 Introduktion till omskrivningssystem

Organisation:
Föreläsningar och handledda seminarier.

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:
Tennent, R.D., "Semantics of Programming Languages", Prentice Hall, ISBN 0-13-805599-8

UPG 1Inlämningsuppgifter och muntlig tentamen.

Engelsk kursplan
Gäller 1997/98, beslut av utbildningsnämnden maj-97