ramsdell@linus.UUCP (John D. Ramsdell) (12/08/89)
I have been studying Chapter 10 of David A. Schmidt's book "Denotational Semantics--A Methodology for Language Development", Wm. C. Brown Publishers, 1988. I am trying to make sense of the VEC machine he presents. He claims the VEC machine is faithful, but consider the expression ((STRICT (X) X '3) (STRICT (Y) SUCC Y)), where SUCC is the successor function for natural numbers. I calculate that the machine erroneously attempts to call the value 4. Please point out my error if you can find it. John