A descriptive model for the design and implementation of computer systems

  • Authors:
  • John Mazur

  • Affiliations:
  • -

  • Venue:
  • ACM '73 Proceedings of the ACM annual conference
  • Year:
  • 1973

Quantified Score

Hi-index 0.00

Visualization

Abstract

We postulate a general computing model and investigate the design and implementation of systems in the postulated environment. The model is drawn from our interpretation of the writings of John von Newmann 1 and others. Its central concept is an abstraction of the capability of all digital computers to modify cells contents that represent addresses of other cells. We discuss three formulations of the model; namely, a “programming language” formulation using vectors, pointers, and move operators, an “emulator” formulation extending the first formulation to include control structure and execution semantics, and a “mathematical” formulation. The proposed model is specifically intended for the interactive design and implementation of software (and also hardware) computer systems. The completeness and the hierarchial nature of the descriptions based on the model allow those descriptions to serve as simulation models and documentation for the complete system being described or for any well-defined part of the system.