Programmeerimiskeelte semantika, 2002 kevad

• Kood: MTAT.03.095
• Maht: 5 ap, kestus: 1 semester
• Juhendaja: Härmel Nestra.

• Kooskäimine toimub kolmapäeviti kell 10.15-12 ja 14.15-16 auditooriumis L208.
• Kursuse aluseks on Hanne Riis ja Flemming Nielsoni raamat “Semantics with Applications”, John Wiley & Sons, 1992, mis on vabalt kättesaadav siit.

• 1 (sissejuhatus), 2.1 (keele While loomulik semantika), 2.2–2.3 (keele While struktuurne semantika ja samaväärsus).
• 4.1–4.4 (keele While denotatsioonsemantika).
• 3.1–3.2 (abstraktne masin, transleeriv funktsioon), 3.3 (korrektsus).
• 2.4–2.5 (keele While laienduste loomulik semantika).
• 5.1–5.2 (staatiline programianalüüs).
• 6.1–6.3 (aksiomaatiline semantika).

Osa teemade kohta on raamatu kodulehel autorite poolt ette valmistatud valmis slaidid.

2000 kevadise kursuse kodulehekülg.

Ülemkataloogi indeksisse.