Search

We presented a unified description of ow control and single steps of a program is given to obtain exible definitions of algebraic manipulations. This is achieved by using the notion of relational diagram. We show how the notion of relational diagram, introduced by Schmidt, can be used to give a demonic definition for a wide range of programming constructs. It is shown that the input-output relation of a compound diagram is equal to that of the diagram in which each sub-diagram has been replaced by its input-output relation. This process is repeated until elementary diagrams is obtained. [ABSTRACT FROM AUTHOR]