with .Identify the evaluation context for each reduction.
Exercise 5.2
Suppose that we define meval (short for "Matthew's eval") as
meval(M) = b if Mb
meval(M) = closure1 if Mx . N for some N that is an application, a primitive application, a variable, or a constant
meval(M) = closure+ if Mx . y . N for some N
Is 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, 2000mflatt@cs.utah.edu
.Identify the evaluation context for each reduction.
b
in meval's definition. Is mevals a partial function?