THE MATHEMATICAL SEMANTICS OF ALGOL 60
Peter Mosses
Abstract
This paper describes the programming language ALGOL 60 (omitting own declarations) by using the Scott-Strachey mathematical semantics. A separate commentary on this description is provided, including an indication of the correspondence between the semantic description language and the λ-calculus.
Familiarity with previous publications on mathematical semantics, e.g. [6, 8, 10, 13], and with the λ-calculus, is assumed.
Institution
OUCL
Month
January
Number
PRG12
Pages
32
Year
1974