ALGOL 68 as a metalanguage for denotational semantics
Open Access
- 1 January 1979
- journal article
- research article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 22 (1) , 63-66
- https://doi.org/10.1093/comjnl/22.1.63
Abstract
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.Keywords
This publication has 0 references indexed in Scilit: