CS 6520 Homework 5

Exercise 5.1

Show the complete (and unique) reduction of with   .

Identify the evaluation context for each reduction.

Exercise 5.2

Suppose that we define meval (short for "Matthew's eval") asIs meval a partial function? In other words, does meval map each expression to at most one result?

Define mevals by replacing    with    in meval's definition. Is mevals a partial function?

Last update: Tuesday, February 1st, 2000