Revised report on the algorithm language ALGOL 60
Communications of the ACM
On the connections between range of variable and control structure testing
Proceedings of the international conference on Reliable software
On the implementation of an interactive system on a small computer
ACM SIGPLAN Notices - Special issue on AMTRAN (Automatic Mathematical TRANslation)
AMTRAN: an interactive computing system
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
| Hi-index | 0.00 |
This paper discusses the process of attaching a meaning to an initially strictly formal syntactic structure. Six levels of semantics are defined, each deeper level providing an enrichment of meaning. A formalism is developed which allows the exact description of the semantics of mathematical operators, expressions and statements, including array arithmetic. The purpose of declarations in a programming language is discussed, the notion of 'the correctness of a program' is analyzed, and conclusions are drawn for the construction of an interactive system.