Programmeerimiskeelte semantika

Üldinfo

H.R.Nielson, F.Nielson. Semantics with Applications: A Formal Introduction. Wiley, 1992.
G.Winskel. The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993.
D.A.Schmidt. The Structure of Typed Programming Languages. MIT Press, 1994.

Loengute materjalid

09. 02 - Ülevaade erinevatest semantika esitamise viisidest; binaararvude ja aritmeetiliste avaldiste semantika; lihtne imperatiivne keel While [VV, Ch1].
14. 02 - Keele While loomulik semantika; lausete samaväärsus; semantika ühesus [VV, Ch2.1].
16. 02 - Keele While struktuurne semantika; loomuliku ja struktuurse semantika samaväärsus [VV, Ch2.2, 2.3].
21. 02 - Keele While laiendusi ja nende semantika: mittedetrmineeritus, katkestamine, paralleelsus [KK, Ch2.4].
23. 02 - Blokkstruktuuride ja protseduuride semantika (reeglid)[KK, Ch2.5].
08. 03 - Abstraktsed masinad [KH, Ch3.1].
13. 03 - AM koodi genereerimine [KH, Ch3.2].
15. 03 - Translatsiooni korrektsus [KH, Ch3.3, 3.4]
20. 03 - Denotatsioonsemantika [HN, Ch4]
22. 03 - Püsipunktiteooria [HN, Ch4.2]
27. 03 - Püsipunktiteooria [HN, Ch4.2]
29. 03 - Keele While laienduste denotatsioonsemantika [KK, Ch4.5]
03. 04 - Jätkude (continuations) denotatsioonsemantika [KK, Ch4.5]
05. 04 - Programmide staatiline analüüs [MT, Ch5.1]
10. 04 - Sõltuvuste analüüs [MT, Ch5.2]
17. 04 - Analüüsi korrektsus [MT, Ch5.3]
19. 04 - Piiratud iteratsioon [MT, Ch5.4]
24. 04 - Programmide korrektsuse otsesed tõestused [MR, Ch6.1]
26. 04 -

Kasulikke viiteid