Derived Semantics for Some Programming Language Constructs

  1. Lookup NU author(s)
Author(s)Henderson P
Series Editor(s)Shaw B
Publication type Report
Series TitleComputing Laboratory Technical Report Series
Report Number19
Full text is available for this publication:
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. This paper is to be presented at the Second International Joint Conference on Artificial Intelligence in London on September 1st - 3rd 1971.
InstitutionComputing Laboratory, The University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication