1983•The Computer JournalRequires access

Programming Denotational Semantics

Lloyd Allison

Abstract

The denotational semantics of a simple language which includes jumps are programmed in Pascal to give an interpreter. By concentrating on the final state of a program the semantics are directly coded in Pascal with only slight modification to the semantics equations. The interpreter was produced as easily as the formal definition of the language and makes a reference implementation and development testbed. By using a widespread metalanguage such as Pascal this definition can be widely understood and executed.

About this research paper

What this paper is about

Why it matters

OpenAlex reports 10 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Denotational semantics, Programming language, Computer science, Pascal (unit), Interpreter, Denotational semantics of the Actor model, Operational semantics, Normalisation by evaluation