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 13.02. Sissejuhatus, töövahendite paigaldus Töövahendite paigaldus 2 20.02. OCaml-i kiirkursus (viited) OCaml 3 27.02. OCaml-i moodulid (viited), püsipunktid (slaidid) 4 06.03. Püsipunktid (slaidid, õpik), mudelkontroll 5 13.03. Juhtvoograafid, mudelkontroll (programmid, muteksid) Mudelkontroll 6 20.03. Aluskeeled OCaml-is, interpretaator (AST) Interpretaator 7 27.03. Abstraktne interpretatsioon (viited), abstraktsed domeenid 8 03.04. Ei toimu (suur reede) — automaatsed teoreemitõestajad (iseseisev töö, viited) Automaatsed teoreemitõestajad 9 10.04. Abstraktne interpretaator 10 17.04. Ei toimu? (ETAPS) — automaatsed teoreemitõestajad (iseseiseva töö jätk) 11 24.04. Abstraktne interpretaator, abstraktsed domeenid Abstraktne interpretaator 12 01.05. Ei toimu (1. mai) Loe õpiku peatükk 2.7 13 08.05. Võrrandisüsteemid (Nullable-FIRST, abstraktne interpretatsioon, viited), projektist Võrrandisüsteemid 14 15.05. Hoare'i loogika (viited), sümboolne väärtustamine, nõrgim eeltingimus Projekti teema 15 22.05. Mitmelõimelised programmid (vead ja analüüs), Deadlock Empire Projekt 16 29.05. Regulaaravaldised (Brzozowski tuletis, puu lihtsustamine) 17 05.06. Eksamisessioon 18 12.06. 19 19.06. Ajakava võib veel muutuda!
