On the relationship between a procedure and its data

Extended abstract
  • Armin Cremers
  • Thomas N. Hibbard
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 3.
    Elgot, C.C. and Robinson, A., "Random-Access Stored-Program Machines, an Approach to Programming Languages," JACM 11, 365–399, 1964.CrossRefGoogle Scholar
  4. 4.
    Kwasowiec, W., "Data Regions in Computers," Bull. Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys. 21, 1153–1158, 1973.Google Scholar
  5. 5.
    Kwasowiec, W., "Address Computer Properties Concerned with Data Regions," ibid, 1159–1162, 1973.Google Scholar
  6. 6.
    Maurer, W.D., "On the Definition of the Variables Used and Set by a Computation," Math. Syst. Theory 6, 86–89, 1972.CrossRefGoogle Scholar
  7. 7.
    Pawlak, Z., "On the Notion of a Computer," Logic, Math. and Phil. Sci. 3, 255–267, 1968.Google Scholar
  8. 8.
    Wagner, E.G., "Bounded Action Machines: Toward an Abstract Theory of Computer Structure," J. Comp. Syst. Sci. 2, 13–75, 1968.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Armin Cremers
    • 1
  • Thomas N. Hibbard
    • 1
  1. 1.University of Southern CaliforniaLos Angeles

Personalised recommendations