Programmeerimiskeelte semantika
Üldinfo
-
Aine kood: MTAT.03.095
-
Lektorid:
-
Ainepunkte: 5
-
Loengute toimumise aeg/koht:
-
Esmaspäev, kell 14.15 - 16.00, L315
-
Neljapäev, kell 12.15 - 14.00, L207
-
Kirjandus:
Loengute materjalid
-
06. 02 - Ülevaade erinevatest semantika esitamise viisidest;
binaararvude ja aritmeetiliste avaldiste semantika; lihtne imperatiivne
keel While
[slides1.pdf].
-
09. 02 - Keele While loomulik semantika; lausete samaväärsus;
semantika ühesus
[slides2.pdf].
-
13. 02 - Keele While struktuurne semantika; loomuliku ja struktuurse
semantika samaväärsus.
-
16. 02 - Keele While laiendusi ja nende semantika: katkestamine,
mittedeterminism, paralleelsus, plokkstruktuurid ja protseduurid.
-
20. 02 - Abstraktsed masinad; realisatsioon koos korrektsuse
tõestusega
[slides3.pdf].
-
27. 02 - Realisatsioon koos korrektsuse tõestusega.
-
02. 03 - Abstraktsed masinad ja transleerimine Haskellis
[slides4.pdf].
-
13. 03 - Denotatsioonsemantika
[den.pdf].
-
16. 03 - Denotatsioonsemantika.
-
20. 03 - Denotatsioonsemantika, püsipunktiteooria.
-
23. 03 - Püsipunktiteooria.
-
27. 03 - Püsipunktiteooria.
-
30. 03 - Püsipunktiteooria.
-
03. 04 - Programmianalüüsid
[dataflow.pdf].
-
06. 04 - Andmevooanalüüs.
-
10. 04 - Monotoonsed raamistikud.
-
13. 04 - Võrrandite lahendamine.
-
17. 04 - Protseduuridevahelised analüüsid.
-
20. 04 - Võreteooria
[lattices.pdf].
-
24. 04 - Galois ühendused
[galois.pdf].
-
27. 04 - Galois ühendused.
-
04. 05 - Widening ja narrowing
[widenarrow.pdf].
-
08. 05 - Widening ja narrowing.
-
11. 05 - Funktsionaalkeelte semantika
[funsem.pdf].
-
15. 05 - Funktsionaalkeelte semantika.
-
18. 05 - Funktsionaalkeelte semantika.
-
22. 05 - Funktsionaalkeelte semantika.
Kasulikke viiteid
Varmo Vene