
semant11
|
Program Semantics and Analysis, semant11
DD2457 Program Semantics and Analysis
Latest News
- 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 c ourse board is a formal way for students to influence the
content
and form of the education. It is formed at the beginning of the course.
Course Evaluation and Analysis
A course
evaluation is performed after the course to give input
for
improvements for later versions of the course.
|