Skip to main content

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