Programmeerimiskeelte semantika

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