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
