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 10.02. Treiler, sissejuhatus Töövahendite paigaldus 2 17.02. OCaml-i kiirkursus (viited) OCaml 3 24.02. Ei toimu (vabariigi aastapäev) 4 03.03. Hindamisest, OCaml-i moodulid, püsipunktid (slaidid, õpik) 5 10.03. Mudelkontroll, juhtvoograafid, programmide mudelkontroll Programmide mudelkontroll 6 17.03. Aluskeeled OCaml-is, interpretaator (AST) Interpretaator 7 24.03. Abstraktne interpretatsioon (viited), abstraktsed domeenid 8 31.03. Abstraktne interpretaator 9 07.04. Ei toimu (suur reede) — automaatsed teoreemitõestajad (iseseisev töö, viited) Automaatsed teoreemitõestajad 10 14.04. Abstraktne interpretaator, abstraktsed domeenid Abstraktne interpretaator 11 21.04. Hoare'i loogika (viited), nõrgim eeltingimus, InvGenGame 12 28.04. Ei toimu (ETAPS) — Võrrandisüsteemid (Nullable-FIRST, iseseisev töö) Loe õpiku peatükk 2.7 13 05.05. Võrrandisüsteemid (Nullable-FIRST, abstraktne interpretatsioon, viited) Võrrandisüsteemid 14 12.05. Mitmelõimelised programmid (vead ja analüüs), Deadlock Empire, projektist Projekti teema 15 19.05. Regulaaravaldised (Brzozowski tuletis, puu lihtsustamine), Δ - 2045 Projekt 16 26.05. Ei toimu 17 02.06. Konsultatsioon, Δ - 1019 18 09.06. Eksamisessioon 19 16.06.
