Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Derived Semantics for Some Programming Language Constructs

Lookup NU author(s):

Downloads

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. This paper is to be presented at the Second International Joint Conference on Artificial Intelligence in London on September 1st - 3rd 1971.

Publication metadata

Author(s): Henderson P

Series Editor(s): Shaw B

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1971

Pages: 16

Report Number: 19

Institution: Computing Laboratory, The University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

Share