| 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 | ||
| UPG1 | Inlämningsuppgifter och muntlig tentamen. , 3 p. | |
Undervisningsspåk är .
Engelsk kursplan