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	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)	OCaml
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 (slaidid, 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ükid 2.7, 2.9
13	08.05.	Võrrandisüsteemid (Nullable-FIRST-FOLLOW, abstraktne interpretatsioon, viited), projektist	Võrrandisüsteemid
14	15.05.	Hoare'i loogika (viited), sümboolne väärtustamine, nõrgim eeltingimus, InvGenGame	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!