ALGOL 68 as a metalanguage for denotational semantics
Frank G. Pagan · The Computer Journal · 1979
The possibility of using ALGOL 68 as a metalanguage for ‘denotational’ definitions of the semantics of programming languages is considered, using the simple language LOOP as an example. The approach is found to be a viable one if the ‘partial parametrisation’ feature is added to ALGOL 68. The advantages of using a general purpose programming language as a definitional medium are briefly discussed.