I. A. Lomazova, “On the problem of the existence of a complete axiomatic program semantics that does not admit side effects”, Zh. Vychisl. Mat. Mat. Fiz., 1987, Volume 27, Number 10,Pages <nobr>1585

JOURNALS // Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki // Archive

Zh. Vychisl. Mat. Mat. Fiz., 1987 Volume 27, Number 10, Pages 1585–1589 (Mi zvmmf3757)

Scientific communications

On the problem of the existence of a complete axiomatic program semantics that does not admit side effects

I. A. Lomazova

Krasnoyarsk

UDC: 519.681

MSC: Primary 68Q60; Secondary 68Q65

Received: 28.04.1986
Revised: 02.02.1987

Fulltext: PDF file (689 kB)

English version: USSR Computational Mathematics and Mathematical Physics, 1987, 27:5, 206–209

Bibliographic databases: