Derived semantics for some programming language constructs

Authors:
Peter Henderson
Affiliations:
Computing Laboratory, University of Newcastle, England
Venue:
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Year:
1971

Citing 2
Cited 0

An axiomatic basis for computer programming

Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

Some familiar programming language constructs are described and an implementation for a hypothetical computing device is given. The semantics of the object language are described as mappings of the internal states of this device. By compounding the sequence of mappings corresponding to the translation of a source phrase, the semantics of the source phrase can be derived as a complex mapping. The recursive nature of the syntax of the source language requires an inductive approach to this derivation. If the derived semantics are acceptable then the implementation can be regarded as correct in an informal sense.