Static semantic features of ALGOL60 and BASIC
- 1 January 1978
- journal article
- research article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 21 (3) , 234-242
- https://doi.org/10.1093/comjnl/21.3.234
Abstract
The static semantic rules of ALGOL60 and BASIC are expressed in a formal notation to demonstrate that the notation can be used for such languages. This is seen as an aid to both the compiler writer and the user, partly in that the intentions of the language designer can be communicated clearly and unequivocally and partly in that the specification may be used as a guide to producing a correct compiler or in verifying the correctness of a compiler.Keywords
This publication has 0 references indexed in Scilit: