MCS-287 Homework 3 (Spring 2017)

First draft due on Monday, 3/13/2017, by the start of class
Second draft (provided first draft recieves a grade of 60% and up) due on Tuesday, 4/25/2017, by the start of class

• Do exercise 10.3 on page 163. In part b, label each definition with an identifying letter. In part d, label each occurence with the corresponding definition's identifying letter. In part c, provide a description for each definition letter of the following form: "Block N, [except for some restriction]", where the optional restriction part indicates what fraction of block N is included. The restriction may include something like "except blocks K, L, M ...", but may also need to include some other form of restriction. If the scope of a definition exceeds all of the blocks, then you should indicate "global scope".

• Exercise 12.x1: Consider the following ML function definition:

  fun f x =
    let fun h z =
          let fun r w = w*z
          in r(x+1)
          end
        fun g y = h(x+y)
    in g x
  end;
  

  Suppose that the expression f(3) is evaluated. Draw a picture of all the activation records that would exist when the multiplication takes place. Indicate which of the activation records is the current one at that point. In each activation record, show the variable names and values, the pointer to the previous activation record, and the nesting link. (Label the pointer to the previous activation record with P and the nesting link with NL.)

• Do exercise 12.4 on page 203.

• Do exercise 12.5 on page 204.

• Do exercise 12.7 on page 204.