Syllabus academic year 2007/2008
PROGRAMMING LANGUAGE THEORYEDA145

Higher education credits: 7,5. Grading scale: TH. Level: A (Second level). Language of instruction: The course will be given in Swedish. Optional for: D3, D3ps, E3ps, F3, Pi4. Course coordinator: Lennart Andersson, Lennart.Andersson@cs.lth.se, Inst f datavetenskap. Prerequisites: EDA027 Algorithms and Data Structures. FMA410 Calculus in One Variable, FMA420/FMA425 Linear Algebra and FMA430/FMA435 Calculus in Several Variables. The course might be cancelled if the numer of applicants is less than 20. Assessment: Written examination. The students are expected to present solutions to selected problems at seminars. Further information: The course is given periodically. It is planned to be given every second year (odd years) during spring term. The course might be cancelled if there are less than 20 participants. Home page: http://www.cs.lth.se/EDA145.

Aim
The course will give a qualified perspective on the semantics of programming languages and ability to read and understand scientific papers in a wider field than the course contents.

Knowledge and understanding
For a passing grade the student must

Skills and abilities
For a passing grade the student must

Judgement and approach
For a passing grade the student must

Contents
Syntax of programming languages and abstract representation of programs. Operational, axiomatic, and denotational semantics. Proofs of program properties. Domain theory and semantics of recursive definitions. Lambda calculus and combinatory logic. Execution models for programming languages. Unification and type deduction.

Literature
Nielson, H R, Nielson, F: Semantics with Applications: An Appetizer.
Publishing information is not yet available.
Andersson, L: Lecture notes. Datavetenskap 2006.