Work

On the proper treatment of referencing, dereferencing and assignment : (preprint)

Year: 1977

Type: other

Abstract: A Floyd-like semantics is presented for the assignment statement in a fragment of ALGOL 68.The fragment considered contains array identifiers, referencing, dereferencing and conditionals.The semantics is based upon a interpretation in a model of intensional logic, without use of addresses or stores.In doing so, several ideas developed by R. Montague concerning the treatment of semantics for natural languages are applied for the first time in the area of semantics of progrannning languages.We also consider an operational semantics, based on the same model and prove that the Floydlike semantics is valid with respect to the operational one and always yields the strongest postcondition.

Source: Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Authors: Tim Janssen, van P. Emde Boas

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2150469289

Cites:

Cited by:

Related to: 10