Homework # 13
due Tuesday, December 6

Reading

Please read Chapter 26-28 in your textbook.

Problems

Please do the following problems:

• Exercise 26.2.1
• Exercise 26.2.2
• Exercise 26.3.1
• Exercise 26.3.6
• Exercise 26.4.16: Indicate wherever changes in the arguments must be made (giving the numbering) and then prove the changed parts only.

Discussion

Read Chapter 27. It attempts to avoid the inefficiency of creating the method tables over and over on every self-method call, and instead create the method table just once per class. As it happens, this attempt fails utterly. Explain. In particular, what benefit does the new construction have?

Algorithmic Typing

Please do the following problems:

• Prove that exposure (Figure 28-1) always terminates.
• Give the details of Theorem 28.3.5.
• Give the details of Exercise 28.5.1.
  (You may use the solution to find where the problem is.)

About this document