ScholarLens Back to search
1987•Plenum series in computer scienceRequires access

Denotational Semantics

Jacques Loeckx, Kurt Sieber

Open publisher page 72 citations

Abstract

Now it is time to give denotational semantics to two of the programming languages introduced in Chapter 3. These descriptions will be facilitated by the use of the so-called λ-notation which is the subject of the first section. The denotational semantics of the language .ℒ 3 of recursive programs, being very straightforward, is given first. The question of the equivalence to the operational semantics is answered affirmatively. The last section introduces the denotational semantics of the language .ℒ 2 of while-programs. The denotational semantics for the language ℒ 1 of flowchart programs is omitted; one of the problems related to making denotational semantics for flowchart programs will be briefly mentioned in Section 11.1.

About this research paper

What this paper is about

Now it is time to give denotational semantics to two of the programming languages introduced in Chapter 3. These descriptions will be facilitated by the use of the so-called λ-notation which is the subject of the first section. The denotational semantics of the language .ℒ 3 of recursive programs, being very straightforward, is given first. The question of the equivalence to the operational semantics is answered affirmatively. The last section introduces the denotational semantics of the language .ℒ 2 of while-programs. The denotational semantics for the language ℒ 1 of flowchart programs is omitted; one of the problems related to making denotational semantics for flowchart programs will be briefly mentioned in Section 11.1.

Why it matters

OpenAlex reports 72 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

Now it is time to give denotational semantics to two of the programming languages introduced in Chapter 3. These descriptions will be facilitated by the use of the so-called λ-notation which is the subject of the first section. The denotational semantics of the language .ℒ 3 of recursive programs, being very straightforward, is given first. The question of the equivalence to the operational semantics is answered affirmatively. The last section introduces the denotational semantics of the language .ℒ 2 of while-programs. The denotational semantics for the language ℒ 1 of flowchart programs is omitted; one of the problems related to making denotational semantics for flowchart programs will be briefly mentioned in Section 11.1.

Key concepts: Denotational semantics, Denotational semantics of the Actor model, Normalisation by evaluation, Programming language, Action semantics, Operational semantics, Computer science, Flowchart

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
Denotational Semantics — Research Paper | ScholarLens