Program Semantics and Analysis, semant11
DD2457 Program Semantics and Analysis
- All results are reported now. If you have passed the exam but
you don't see your final grade reported, then you (probably) have still
some homeworks or lab assignments unfinished.
- Here are the problems from the exam that took place on 26 May 2011, and here are the preliminary, handwritten solutions.
- Here is the course schedule and a course outline.
- The course is administered through the Rapp system. Klick here to log into the system, and here for a manual.
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.