@MISC{SCMPDS_2.MIZ,
  AUTHOR = {Chen, Jing-Chao},
  TITLE = {The {SCMPDS} Computer and the Basic Semantics of its Instructions},
  NOTE = {This work was done while the author visited Shinshu University
  March--April 1999.},
  ACKNOWLEDGEMENT = {We wish to thank Prof. Y. Nakamura for many helpful suggestions.},
  SECTION1 = {The SCMPDS Computer},
  SECTION2 = {The Memory Structure},
  SECTION3 = {The Instruction Structure},
  SECTION4 = {Execution Semantics of the SCMPDS instructions},
  DAY = {15},
  MONTH = {June},
  YEAR = {1999},
  ADDRESS1 = {Shanghai Jiaotong University},
  SUMMARY = {The article defines the SCMPDS computer and its
  instructions. The SCMPDS computer consists of such instructions
  as conventional arithmetic, ``goto'', ``return'' and
  ``save instruction-counter''
  (``saveIC'' for short). The address used in the ``goto'' instruction is an
  offset value rather than a pointer in the standard sense. Thus, we
  don't define halting instruction directly but define it by ``goto 0''
  instruction. The ``saveIC'' and ``return'' equal almost call and return
  statements in the usual high programming language. Theoretically,
  the SCMPDS computer can implement all algorithms described by
  the usual high programming language including recursive routine.
  In addition, we describe the execution semantics and halting
  properties of each instruction.}}

