Ajakava Praktikumide näidislahendused ilmuvad repo labs branch-ile. Kodutöö arvestuseks peavad vähemalt pooled koduseks jäetud testidest läbi minema. # Kuupäev Teema Kodutöö 1 14.02. Sissejuhatus, töövahendite paigaldus Töövahendite paigaldus 2 21.02. OCaml-i kiirkursus (viited) OCaml 3 28.02. OCaml-i moodulid (viited), püsipunktid (slaidid) 4 07.03. Püsipunktid (slaidid, õpik), mudelkontroll, juhtvoograafid 5 14.03. Programmide mudelkontroll Programmide mudelkontroll 6 21.03. Aluskeeled OCaml-is, interpretaator (AST) Interpretaator 7 28.03. Abstraktne interpretatsioon (viited), abstraktsed domeenid 8 04.04. Abstraktne interpretaator — Vesal asendab (VeWit) 9 11.04. Abstraktne interpretaator, abstraktsed domeenid Abstraktne interpretaator 10 18.04. Ei toimu (suur reede) — automaatsed teoreemitõestajad (iseseisev töö, viited) Automaatsed teoreemitõestajad 11 25.04. Ei toimu (Dagstuhl) — automaatsed teoreemitõestajad (iseseiseva töö jätk) 12 02.05. Võrrandisüsteemid (Nullable-FIRST, abstraktne interpretatsioon, viited), projektist Võrrandisüsteemid 13 09.05. Ei toimu (Digit) 14 16.05. Hoare'i loogika (viited), sümboolne väärtustamine, nõrgim eeltingimus Projekti teema 15 23.05. Mitmelõimelised programmid (vead ja analüüs), Deadlock Empire Projekt 16 30.05. Regulaaravaldised (Brzozowski tuletis, puu lihtsustamine) 17 06.06. Eksamisessioon 18 13.06. 19 20.06.
