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

Assure Ghost 

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