Skip to main content
SpringerLink
Log in

On the definition of the variables used and set by a computation

  • Published:
Mathematical systems theory Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. C. C. Elgot andAbraham Robinson, Random access stored program computers—an approach to programming languages,J. Assoc. Comput. Mach. 11 (1964), 365–399.

    Google Scholar 

  2. W. D. Maurer, A theory of computer instructions,J. Assoc. Comput. Mach. 13 (1966), 226–235.

    Google Scholar 

  3. W. D. Maurer,Algorithm Verification, Memorandum ERL-M290, Electronics Research Laboratory, University of California, Berkeley, January 1971.

    Google Scholar 

  4. J. McCarthy, Towards a mathematical science of computation,Information Processing 1962,Proceedings of IFIP Congress 62, (C. M. Popplewell, ed.), pp. 21–28, North-Holland, Amsterdam, 1963.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, California, USA

    W. D. Maurer

Authors
  1. W. D. Maurer
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The research reported here was partially supported by National Science Foundation Grant GJ-821.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maurer, W.D. On the definition of the variables used and set by a computation. Math. Systems Theory 6, 86–89 (1972). https://doi.org/10.1007/BF01706078

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01706078

Keywords

Search

Navigation