TDDB 42 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, datalogi, matematik, diskret matematik.

Mål:
Att tillhandahålla matematiska verktyg för studier av programspråkssemantik, speciellt denotationssemantik och operationell semantik och kopplingen mellan dessa. Exempel på tillämpningar.

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

Organisation:
Föreläsningar och handledda seminarier.

Kursinnehåll:
Strukturerad operationell semantik. Naturlig semantik. Denotationssemantik. Ekvivalens mellan dessa. Domänteori. Bevis av egenskaper hos program. Behandling av parameteröverföring, högre ordningens typer och rekursiva typer.

Kurslitteratur:
Meddelas senare.

Examination:
UPG 1 Inlämningsuppgifter och muntlig tentamen.