Demonic Semantics of Guarded Commands Monotype/residual Style

F. Tchier (Saudi Arabia)

Keywords

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

Abstract

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:

• DOI:
• From Proceeding (385) Artificial Intelligence and Soft Computing - 2003

Go Back