Skip to main content
SpringerLink
Log in

On the relationship between a procedure and its data

Extended abstract

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1976 (MFCS 1976)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 45))

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cremers, A. and Hibbard, T.N., "The Semantical Definition of Programming Languages in Terms of their Data Spaces," in Programmiersprachen, Informatik-Fachberichte, vol. 1, Springer-Verlag, 1976.

    Google Scholar 

  2. Cremers, A. and Hibbard, T.N., "An Algebraic Approach to Concurrent Programming Control and Related Complexity Problems," Symposium on Algorithms and Complexity, Pittsburgh, Pennsylvania, 1976.

    Google Scholar 

  3. Elgot, C.C. and Robinson, A., "Random-Access Stored-Program Machines, an Approach to Programming Languages," JACM 11, 365–399, 1964.

    Article  Google Scholar 

  4. Kwasowiec, W., "Data Regions in Computers," Bull. Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys. 21, 1153–1158, 1973.

    Google Scholar 

  5. Kwasowiec, W., "Address Computer Properties Concerned with Data Regions," ibid, 1159–1162, 1973.

    Google Scholar 

  6. Maurer, W.D., "On the Definition of the Variables Used and Set by a Computation," Math. Syst. Theory 6, 86–89, 1972.

    Article  Google Scholar 

  7. Pawlak, Z., "On the Notion of a Computer," Logic, Math. and Phil. Sci. 3, 255–267, 1968.

    Google Scholar 

  8. Wagner, E.G., "Bounded Action Machines: Toward an Abstract Theory of Computer Structure," J. Comp. Syst. Sci. 2, 13–75, 1968.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Southern California, Los Angeles, California

    Armin Cremers & Thomas N. Hibbard

Authors
  1. Armin Cremers
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas N. Hibbard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antoni Mazurkiewicz

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cremers, A., Hibbard, T.N. (1976). On the relationship between a procedure and its data. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_182

Download citation

  • DOI: https://doi.org/10.1007/3-540-07854-1_182

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07854-8

  • Online ISBN: 978-3-540-38169-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation