Programmeerimiskeelte semantika

Üldinfo

Aine kood: MTAT.03.095
Lektorid:
- Varmo Vene
- Härmel Nestra
Ainepunkte: 5
Loengute toimumise aeg/koht:

Esmaspäev, kell 12.15 - 14.00, L612

Reede, kell 12.15 - 14.00, L405

Kirjandus: 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. B.Pierce. Types and Programming Languages. MIT Press, 2002. C.Mitchell. Foundations for Programming Languages. MIT Press, 1996. G.Plotkin. Domains (Pisa notes). Dept. of Comp. Sci., Univ. Edinburgh, 1983.

Loengute materjalid 10. 02 - Ülevaade erinevatest semantika esitamise viisidest; binaararvude ja aritmeetiliste avaldiste semantika; lihtne imperatiivne keel While [loeng1.pdf]. 13. 02 - Keele While loomulik semantika; lausete samaväärsus; semantika ühesus [loeng2.pdf]. 16. 02 - Keele While struktuurne semantika; loomuliku ja struktuurse semantika samaväärsus [loeng3.pdf]. 20. 02 - Keele While laiendusi ja nende semantika: katkestamine, mittedeterminism, paralleelsus [loeng4.pdf]. 27. 02 - Plokkstruktuuride ja protseduuride semantika [loeng5.pdf]. 08. 03 - Realisatsioon koos korrektsuse tõestusega [am.pdf, am.ps, trans.hs]. 12. 03 - Realisatsioon koos korrektsuse tõestusega. 15. 03 - Denotatsioonsemantika [densem.pdf]. 19. 03 - Denotatsioonsemantika. 22. 03 - Denotatsioonsemantika. 26. 03 - Denotatsioonsemantika. 29. 03 - Tüübisüsteemid [types.pdf]. 02. 04 - Tüübisüsteemid. 05. 04 - Tüübisüsteemid. 12. 04 - Tüübisüsteemid. 19. 04 - Jätkud (continuations) ja jätkuedastustiil; näited [jatkud.pdf]. 23. 04 - Jätkud (continuations) ja jätkuedastustiil; näited [remUntilLast.hs]. 26. 04 - Jätkuedastustiili teisendamine. 30. 04 - Jätkustiilis denotatsioonsemantika. 03. 05 - Staatiline analüüs; abstraktne interpretatsioon [stanal.pdf]. 07. 05 - Staatiline analüüs; abstraktne interpretatsioon. 10. 05 - Staatiline analüüs; abstraktne interpretatsioon. 14. 05 - Staatiline analüüs; abstraktne interpretatsioon. 17. 05 - Programmide teisendamine; Burstall-Darlingtoni meetod [ps1.pdf]. 21. 05 - Osaline väärtustamine; Futamura prjektsioonid [ps2.pdf]. 24. 05 - Osaline väärtustamine; Futamura prjektsioonid. 28. 05 - Deforestreerimine; superkompileerimine [ps3.pdf]. Kasulikke viiteid Programmeerimiskeelte semantika 2002 a. kursuse leht. Programmeerimiskeelte semantika 2000 a. kursuse leht. The Haskell Home Page Frequently asked questions for comp.lang.functional Varmo Vene