Problem

1 In C, C++, or ADA, would it make sense to apply the Correspondence Principle to: (a) types; (b) record or structure fields?

2. Consider the implementation of a procedure P with a formal parameter FP of type T.

(a) Assume that the copy-in-copy-out parameter mechanism is used. What exactly is passed to P, a value or an address? What happens when P is called? What happens inside P when it inspects FP? What happens inside P when it updates FP? What if anything happens when P returns?

(b) Repeat, this time assuming that the variable parameter mechanism is used instead.