Automaatide, keelte ja translaatorite süvenduspraktikum - Kursused - Arvutiteaduse instituut

EN

Ajakava

Ainele on võimalik veel registreeruda, vaata Infot!

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, juhtvoograafid
5	13.03.	Programmide mudelkontroll	Programmide 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!