| TDDA43 | Programmeringsteori, 4 poäng /Programming Theory/ För: C3 | |
| Utbildningsområde: Teknik Ämnesgrupp: Datalogi | ||
| Fördjupningsnivå: C | ||
| Klassning för datavetenskaplig examen: Datavetenskap, datalogi. | ||
| Mål: Att känna till tekniker för att formellt beskriva ett programspråk, speciellt dess semantik (innebörd). Orientering om bevis av korrekthet hos program.Förkunskaper: Diskret matematik och logik (TDDB90, TATM90 eller likvärdiga kurser), Omfattande programmeringskurs som innehåller imperativ programmering (t.ex. Programmering och datorspråk TDDB80). Påbyggnadskurser: TDDB44 Kompilatorkonstruktion. Avancerade programmeringskurser, t ex TDDA69 Data- och programstrukturer och TDDA41 Logikprogrammering. Organisation: Teorin behandlas under både föreläsningar och lektioner. Lektioner och laborationer ger tillfälle till praktiska övningar. Kursinnehåll: Transitionsystem, lambdakalkyl, operationell semantik, denotationssemantik, axiomatisk semantik. Tillämpning av axiomatisk semantik i programkorrekthetsbevis.Kurslitteratur: H. R. Nielson and F. Nielson. Semantics with Applications. John Wiley and Sons 1992 | ||
| LABA | Laborationer, 1,5 p. | |
| UPG1 | Inlämningsuppgifter, 2,5 p. | |
Undervisningsspråk är engelska.