Advertisement

The computer and the program

  • A. van Wijngaarden
  • B. J. Mailloux
  • J. E. L. Peck
  • C. H. A. Koster
  • M. Sintzoff
  • C. H. Lindsey
  • L. G. L. T. Meertens
  • R. G. Fisker

Abstract

The meaning of a program in the strict language is explained in terms of a hypothetical computer which performs the set of actions {2.1.4} which constitute the elaboration {2.1.4.1} of that program. The computer deals with a set of “objects” {2.1.1}.

Keywords

Direct Action Serial Action Physical Machine Storage Cell Integral Equivalent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • A. van Wijngaarden
  • B. J. Mailloux
  • J. E. L. Peck
  • C. H. A. Koster
  • M. Sintzoff
  • C. H. Lindsey
  • L. G. L. T. Meertens
  • R. G. Fisker

There are no affiliations available

Personalised recommendations