Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!purdue!bu-cs!xylogics!merk!alliant!linus!ramsdell
From: ramsdell@linus.UUCP (John D. Ramsdell)
Newsgroups: comp.theory
Subject: Schmidt's VEC machine
Message-ID: <82317@linus.UUCP>
Date: 8 Dec 89 14:35:35 GMT
Reply-To: ramsdell@mitre.org
Organization: The MITRE Corp., Bedford, MA
Lines: 9

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