Program Semantics and Analysis, semant09
DD2454 Semantics for Programming Languages
Assignments
There will be six written homework assignments (see below as they are
published successively). These will
typically consist of a number of exercises taken
from the textbook or composed by the course leader. The written
solutions will be checked in class by peer reviewing,
with the help of solutions provided by the course leader, and will then
be collected. Each peer reviewed and passed assignment will give a
bonus point for the final exam (out of 30 points). The criterion for
passing is to have made a decent attempt to solve the problem rather
than to have necessarily produced a correct solution.
Assignments