On the most recent property of ALGOL-like programs

  • P. Kandzia
Monday Afternoon
Part of the Lecture Notes in Computer Science book series (LNCS, volume 14)


Formal Program Original Program Context Free Grammar Dynamic Chain Execution Tree 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Dijkstra, E., "Recursive programming", in Programming systems and languages, S. Rosen, McGraw-Hill, New York, 1967Google Scholar
  2. [2]
    Grau,A.A., Hill,U., Langmaack, H., Translation of ALGOL 60, Handbook für Automatic Computation, Vol. Ib, Berlin-Heidelberg-New York, 1967Google Scholar
  3. [3]
    Kandzia, P., Langmaack H., "On a theorem of McGowan concerning the most recent property of programs with procedures", Berichte des Fachbereichs Angew. Math. u. Informatik, Univ. d. Saarlandes, Nr. A 74/07, 1974Google Scholar
  4. [4]
    Langmaack, H., "On correct procedure parameter transmission in higher programming languages", in Acta Informatica 2, 110–142, 1973Google Scholar
  5. [5]
    McGowan, C.L., "The "most recent" error: its causes and correction", in Proceedings of an ACM conference on proving assertions about programs, SIGPLAN Notices, Vol. 7, Number 1, 1972Google Scholar
  6. [6]
    Wegner, P.: "Three computer cultures — computer technology, computer mathematics and computer science", Advances in Computers 10, 7–78, 1970Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • P. Kandzia

There are no affiliations available

Personalised recommendations