Block structure (Extended Abstract): Retention or deletion?

ABSTRACT

The question as to the correct block exit strategy, retention or deletion, is resolved by formally comparing the contour model and the stack model, each of which implements one of the strategies, to the copy rule, a formal definition of block structuring.

REFERENCES

• 1: PASODSIPL is Proceedings of ACM Symposium on Data Structures in Programming Languages, 1971.
• 2: David Beech, A Structural View of PL/I, ACM Computing Surveys (CSUR), v.2 n.1, p.33-64, March 1970 [doi>10.1145/356561.356564]
• 3: Bergeron, R.D., Gannon, J.D., Tompa, F.W., Shecter, D.F., and van Dam, A., "Systems programming languages", Advances in Computers 11 (1971).
• 4: Daniel M. Berry, Introduction to Oregano, ACM SIGPLAN Notices, v.6 n.2, February 1971 [doi>10.1145/1115880.1115887]
• 5: Alonzo Church, The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies), Princeton University Press, Princeton, NJ, 1985
• 6: Dijkstra, E.W., "Recursive programming", in Programming systems and languages, S. Rosen, McGraw-Hill, N.Y., 1967.
• 7: Henhapl, W., and Jones, C.B., The block concept and some possible implementations, with proofs of equivalence, IBM Laboratory Vienna, Tech. Rep. TR 25.104 (1970).
• 8: John B. Johnston, The contour model of block structured processes, ACM SIGPLAN Notices, v.6 n.2, February 1971 [doi>10.1145/1115880.1115883]
• 9: Landin, P., "The mechanical evaluation of expressions", Computer Journal 6:4 (1964).
• 10: P. J. Landin, Correspondence between ALGOL 60 and Church's Lambda-notation: part I, Communications of the ACM, v.8 n.2, p.89-101, Feb. 1965 [doi>10.1145/363744.363749]
• 11: Lauer, P., Formal definition of Algol 60, IBM Laboratory Vienna, Tech. Rep. TR 25.088 (1968).
• 12: Lucas, P., Two constructive realizations of the block concept and their equivalence, IBM Laboratory Vienna, Tech. Rep. TR 25.085 (1968).
• 13: Lucas, P., et al., Method and notation for the formal definition of programming languages, IBM Laboratory Vienna, Tech. Rep. TR 25.087 (1968).
• 14: Lucas, P., and Walk, K., "On the formal description of PL/1", Annual Review in Automatic Programming 6:3, 105 (1969).
• 15: Clement L. McGowan, The correctness of a modified SECD machine, Proceedings of the second annual ACM symposium on Theory of computing, p.149-157, May 04-06, 1970, Northampton, Massachusetts, United States [doi>10.1145/800161.805160]
• 16: McGowan, C., "An inductive proof technique for interpreter correctness", Courant Institute Symposium on Formal Semantics of Programming Languages (1970).
• 17: Clement Leo Mcgowan, III, Correctness results for lambda calculus interpreters, 1971
• 18: Clement McGowan , Peter Wegner, The equivalence of sequential and associate information structure models, ACM SIGPLAN Notices, v.6 n.2, February 1971 [doi>10.1145/1115880.1115888]
• 19: Peter Naur , J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger, Report on the algorithmic language ALGOL 60, Communications of the ACM, v.3 n.5, p.299-314, May 1960 [doi>10.1145/367236.367262]
• 20: J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger , P. Naur, Revised report on the algorithm language ALGOL 60, Communications of the ACM, v.6 n.1, p.1-17, Jan. 1963 [doi>10.1145/366193.366201]
• 21: Brian Randall , Lawford J. Russell, Algol-60 Implementation, Academic Press, Inc., Orlando, FL, 1964
• 22: Rubin, G., A contour model lambda calculus machine, TR 70-35, Center for Computer and Information Science, Brown University (Feb. 1971).
• 23: van Wijngaarden, A., et al., "Report on the algorithmic language Algol 68", Num. Math. 14, 79-218 (1969).
• 24: Peter. Wegner, Programming Languages, Information Structures, and Machine Organization., McGraw Hill Text, 1968
• 25: Wegner, P., "Three computer cultures: computer technology, computer mathematics and computer science", Advances in Computers 10 (1970).
• 26: Wegner, P., "Information structure models for programming languages", Courant Institute Symposium on Formal Semantics of Programming Languages, 1970.
• 27: Wegner, P., The Vienna Definition Language, TR 70-21-2, Center for Computer and Information Science, Brown University (1970).
• 28: Lucas, P., lecture on Proofs of correctness of various block structure implementations, given at Brown University, spring 1970.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Control structures

General Terms:
Languages