Demonic Semantics of Guarded Commands Monotype/residual Style

F. Tchier (Saudi Arabia)


. Software Engineering; Formal Methods; Relation algebra; Nondeterminism; De monic semantics; Monotypes; Guarded-commands.


In this article, we show how the notion of relational flow diagram(essentially a matrix whose entries are re lations on the set of states of the program), introduced by Schmidt, can be used to give a single demonic def inition for a wide range of programming constructs. This is achieved by using monotype/residual style.

Important Links:

Go Back