TDDB42	Semantics of Programming Languages, 4,5 ECTS-points /Programspråkssemantik/ Advancement level: D
	Aim: To provide tools for the study of programming languages, in particular denotational semantics. Prerequisites: TDDB 90 Discrete Mathematics and Logics, and TDDA 43 Programming Theory or equivalent courses. Supplementary courses: TDDB 40 Introduction to Rewriting Systems Course organization: Participants study the literature on their own. Lectures and/or seminars will be given if needed. 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: R. D. Tennent: "Semantics of Programming Languages", Prentice Hall, 1991. ISBN 0-13-805599-8
UPG1	Hand-in exercises and an oral examination, 3 p.

Course language is swedish.