TDDB42	Semantics of Programming Languages, ECTS-points /PROGRAMSPRÅKSSEMANTIK/ Advancement level: D
	Aim: To provide tools for the study of programming languages, in particular denotational semantics. Prerequisites: TDDB90 Discrete Mathematics and Logics, and TDDA43 Programming Theory or equivalent courses. Supplementary courses: TDDB40 Introduction to Rewriting Systems Course organization: Lectures and discussion seminars Course content: Basic concepts of programming language semantics: compositionality and full abstraction. Semantics for imperative and functional languages. Domain- and category theory. Recursive domain equations. Course literature: Tennent, R.D., "Semantics of Programming Languages", Prentice Hall, ISBN 0-13-805599-8
UPG 1	Hand-in exercises and an oral examination

Course language is Swedish.