Formalization of storage properties

  • H. Bekić
  • K. Walk
Selected Papers Language Definition
Part of the Lecture Notes in Computer Science book series (LNCS, volume 177)


Area Range Storage Property Component Location Connected Location Storage Model 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Elgot, C. C. and Robinson, A. (1964). "Random-Access, Stored Program Machines, An Approach to Programming Languages", Journal ACM 11, pp. 365–399.MathSciNetGoogle Scholar
  2. Henhalp, W. (1969). "A Storage Model Derived from Axioms", IBM Lab. Vienna, Tech. Report IR 25.100.Google Scholar
  3. Lucas, P. and Walk, K. (1969). "On the Formal Description of PL/I", Annual Review in Automatic Programming, Vol. 6, Part 3, Pergamon Press.Google Scholar
  4. PL/I Language Specifications (1966). IBM Systems Reference Library, Form No. C 28-6571-4.Google Scholar
  5. Strachey, C. (1966). "Towards a Formal Semantics", Formal Language Description Languages (Steel, ed.), North-Holland.Google Scholar
  6. Van Wijngaarden, A. (ed.), Mailloux, B. J., Pack, J. E. L., and Koster, C. H. A. (1969). Report on the Algorithmic Language ALGOL 68, Mathematisch Centrum, Amsterdam (second printing).Google Scholar
  7. Walk, K. et al (1969). "Abstract Syntax and Interpretation of PL/I", IBM Lab. Vienna, Tech. Report TR 25.098.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • H. Bekić
  • K. Walk

There are no affiliations available

Personalised recommendations