On the proper treatment of referencing, dereferencing and assignment : 2nd ed
Tim Janssen, van P. Emde Boas · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1978
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 programming 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.