The essence of ALGOL

Although Algol 60 has been uniquely influential in programming language design, its descendants have been significantly different than their prototype. In this paper, we enumerate the principles that we believe embody the essence of Algol, describe a model that satisfies these principles, and illustrate this model with a language that, while more uniform and general, retains the character of Algol.

[1]  P. J. Landin,et al.  Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.

[2]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[3]  Arthur Evans.  PAL—a language designed for teaching programming linguistics , 1968, ACM '68.

[4]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[5]  Christopher Strachey,et al.  Toward a mathematical semantics for computer languages , 1971 .

[6]  John C. Reynolds,et al.  Syntactic control of interference , 1978, POPL.

[7]  Neil D. Jones.  Semantics-Directed Compiler Generation , 1980, Lecture Notes in Computer Science.

[8]  Brian A. Wichmann,et al.  Rationale for the design of the Ada programming language , 1979, SIGP.

[9]  C. A. R. Hoare,et al.  Recursive data structures , 1975, International Journal of Computer & Information Sciences.

[10]  Rod M. Burstall,et al.  Programming in POP-2 , 1971 .

[11]  C. A. R. Hoare,et al.  Procedures and parameters: An axiomatic approach , 1971, Symposium on Semantics of Algorithmic Languages.

[12]  Edwin H. Satterthwaite,et al.  Early experience with Mesa , 1977, CACM.

[13]  E. Engeler.  Symposium on Semantics of Algorithmic Languages , 1971, Symposium on Semantics of Algorithmic Languages.

[14]  John C. Reynolds,et al.  The craft of programming , 1981, Prentice Hall International series in computer science.

[15]  Friedrich L. Bauer,et al.  Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[16]  P. J. Landin.  A λ-CALCULUS APPROACH , 1966 .

[17]  R. M. Burstall,et al.  Advances in programming and non-numerical computation , 1967, The Mathematical Gazette.

[18]  John C. Reynolds,et al.  Using category theory to design implicit conversions and generic operators , 1980, Semantics-Directed Compiler Generation.

[19]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[20]  C. A. R. Hoare,et al.  A contribution to the development of ALGOL , 1966, CACM.

[21]  P. J. Landin,et al.  The next 700 programming languages , 1966, CACM.

[22]  John C. Reynolds,et al.  GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept , 1970, Commun. ACM.

[23]  Charles T. Zahn,et al.  A control statement for natural top-down structured programming , 1974, Symposium on Programming.