Programmeerimiskeelte semantika, 2009 kevad

Üldinfo

• kood: MTAT.05.108;
• maht: 4 ap;
• kestus: 1 semester.

Auditoorne töö

• aeg: T 12, N 16;
• koht: L 404;
• juhendaja: Härmel Nestra.

Hinde kujunemine

• kohalkäimine,
• ettekanded,
• test (kui on).

Kirjandus

• Nielson, H.R., Nielson, F.: Semantics with Applications. Springer (2007) (veebist on kättesaadav selle raamatu vanem versioon).
• Nielson, H.R., Nielson, F., Hankin, C.: Principles of Program Analysis. Springer (1999)
• Winskel, G.: The Formal Semantics of Programming Languages. The MIT Press (1993)
• Cousot, P.: Abstract Interpretation Based Formal Methods and Future Challenges. In: Wilhelm, R. (ed.) Informatics, 10 Years Back – 10 Years Ahead. Lecture Notes in Computer Science 2000 (2001) 138–156
• Cousot, P.: Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Theoretical Computer Science 277 (2002) 47–103

Slaidid

Ülemkataloogi indeksisse.