Assignment 7, Parameter passing and activation records
Due 3/09/04 9:30 a.m.
(Must be done with your group)

1. In this question you will discover the parameter passing mechanism for MYSTERY using this web page to access the PL-Detective.  For the purpose of this question assume that the actual's type and the corresponding formal's type must be the same, using structural type equality.  Also assume that mystery uses static scoping.
   1. For each parameter passing implementation described in Section 9.5.2 of text describe the design issues and their implications.  The text does a good job of describing the design issues for all implementations except for "name".  You need to come up with the issues for "name" yourself.
   2. Determine and describe the parameter passing mechanism in mystery using the above link.  Be sure to state how MYSTERY's implementation addresses the issues discussed in part (i).  Your submissions may execute up to 10 PRINTs.  Each additional PRINT will be charged 5% of the points for the question.
   3. Provide and discuss the evidence that supports your case. 
2. Repeat parts (ii) and (iii) of the question above using this link (which potentially uses a different parameter passing implementation)
3. Problem set, #3 (page 394)
4. Give a MYSTERY program which when run will have the static and dynamic links of an activation record pointing to two different activation records.  Explain your example.