Ajakava
- Praktikumide näidislahendused ilmuvad repo
labsbranch-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 | Abstraktne interpretaator |
| 8 | 31.03. | Abstraktne interpretaator, abstraktsed domeenid | |
| 9 | 07.04. | Ei toimu — suur reede | |
| 10 | 14.04. | Hoare'i loogika, invariant game, nõrgim eeltingimus | Automaatsed teoreemitõestajad/ Nõrgim eeltingimus |
| 11 | 21.04. | Automaatsed teoreemitõestajad, nõrgima eeltingimus automaatselt | |
| 12 | 28.04. | Võrrandisüsteemid | Võrrandisüsteemid |
| 13 | 05.05. | Võrrandisüsteemid (nullable-first, abstraktne interpretatsioon) | |
| 14 | 12.05. | Mitmelõimelised programmid (vead, analüüs), deadlock empire | Goblint-i paigaldus |
| 15 | 19.05. | Goblint-i tutorial, Δ - 2045 | Goblint-i tutorial |
| 16 | 26.05. | Ei toimu |