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.