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.??.???
Lektor: Varmo Vene
Ainepunkte: 5
Loengute toimumise aeg/koht:

Esmaspäev, kell 12.15 - 14.00, L208
Kolmapäev, kell 14.15 - 16.00, L208

Kursuse list: ati.funprog@lists.ut.ee
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.

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

Continuations, functions and Jumps by Hayo Thielecke.
The Haskell Home Page
Frequently asked questions for comp.lang.functional
Why Functional Programming Matters by John Hughes.
Notes on Functional Programming with Gofer by H. Conrad Cunningham.
Introduction to Functional Programming using Gofer by P.E.Wentworth.
Functional Programming by Jeroen Fokker.
Some common (and not so common!) Hugs errors

Varmo Vene