Automaatide, keelte ja translaatorite süvenduspraktikum - Kursused

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)	OCaml
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)	Abstraktne interpretaator
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)	Automaatsed teoreemitõestajad
12	02.05.	Võrrandisüsteemid (Nullable-FIRST, abstraktne interpretatsioon, viited)	Võrrandisüsteemid
13	09.05.	Ei toimu (Digit)	Võrrandisüsteemid
14	16.05.	Hoare'i loogika (viited), nõrgim eeltingimus, InvGenGame, projektist	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.

Ajakava võib veel muutuda!