Algol-like Languages, Volume 1

Contents

Part I HISTORICAL BACKGROUND . . . 17

1. Revised Report on the Algorithmic Language Algol 60 . . . 19
Peter Naur (editor), 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 and M. Woodger
2. The Varieties of Programming Language . . . 51
Christopher Strachey

3. The Essence of Algol . . . 67
John C. Reynolds
4. Algol and Functional Programming . . . 89
Peter W. O'Hearn
5. Orthogonality of Assignments and Procedures in Algol . . . 101
Matthias Felleisen and Stephen Weeks
6. Idealized Algol and its Specification Logic . . . 125
John C. Reynolds
7. Towards Fully Abstract Semantics for Local Variables . . . 157
Albert R. Meyer and Kurt Sieber

Part III LANGUAGE DESIGN . . . 171

8. Design of the Programming Language Forsythe . . . 173
John C. Reynolds
9. Assignments for Applicative Languages . . . 235
Vipin Swarup, Uday S. Reddy, and Evan Ireland
10. Syntactic Control of Interference . . . 273
John C. Reynolds