Analysis of programs and binary relations

S. A. Abramov

Moscow

Abstract: The generalization of the Hoarean property of the Pprogram, in the form $\{f\}P\{g\}$, is discussed. Instead of the Boolean functions in the set of states $V$, binary relations which are subsets of $V\times M$, where $M$ can be an arbitrary set, are used for $f$ and $g$.

UDC: 519.681

MSC: 68Q60

Received: 12.05.1981
Revised: 18.02.1982

 English version: USSR Computational Mathematics and Mathematical Physics, 1983, 23:2, 120–127

Bibliographic databases:

• 
•