Nondeterministic semantics of compound diagrams
Fairouz Tchier · Discrete and Continuous Dynamical Systems - S · 2015
We presented a unified description of flow control and singlesteps of a program is given to obtain flexible definitions ofalgebraic manipulations. This is achieved by using the notion ofrelational diagram. We show how the notion of relational diagram,introduced by Schmidt, can be used to give a demonic definitionfor a wide range of programming constructs. It is shown that theinput-output relation of a compound diagram is equal to that ofthe diagram in which each sub-diagram has been replaced by itsinput-output relation. This process is repeated until elementarydiagrams is obtained.