Algol-like Languages

I Historical Background. - 1 Revised Report on the Algorithmic Language ALGOL 60. - 2 The Varieties of Programming Language. - II Basic Principles. - 3 The Essence of ALGOL. - 4 ALGOL and Functional Programming. - 5 Orthogonality of Assignments and Procedures in ALGOL. - 6 IDEALIZED ALGOL and its Specification Logic. - 7 Towards Fully Abstract Semantics for Local Variables. - III Language Design. - 8 Design of the Programming Language FORSYTHE. - 9 Assignments for Applicative Languages. - 10 Syntactic Control of Interference. Language: English