Program Semantics and Analysis, semant09
DD2457 Program Semantics and Analysis
- The exams have been graded and deposited at the CSC student expedition in the E-house.
- Here are the solutions to the exam of 14 December 2009.
- The intended learning outcomes have been classified by grade (see Examination).
- Here is the course schedule and a course outline.
Course Board (sv. Kursnämnd)
A course board
is a formal way for students to influence the
and form of the education. It is formed at the beginning of the course.
Course Evaluation and Analysis
is performed after the course to give input
improvements for later versions of the course.