Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Programmeerimiskeelte semantika

Programmeerimiskeelte semantika

Üldinfo

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

Esmaspäev, kell 14.15 - 16.00, L315

Neljapäev, kell 12.15 - 14.00, L207

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 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 Programmeerimiskeelte semantika 2004 a. kursuse leht. 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