| Homework 2: Natural Semantics (HW2)
|
|
Homework 2 will help you get practice with using the Natural Semantics definition of a programming language, in this case the IMP language defined in Lecture 16, with the semantics defined in Lecture 17. This homework will not be graded; solutions will be posted over the next couple of days, but please try to work through the problems first, and feel free to post questions in the newsgroup. The programs in this homework and homework 1 are identical; this should give you a good feel for how the semantics differ in practice.
UPDATE: Solutions have now been posted.
|
|
|