Abstract:Relations and relational operators can be used to define the semantics of programming languages. The operations ∨ and • serve to give angelic semantics by defining a program to go right when there is a possibility to go right. On the other hand, the demonic operations and do the opposite: if there is a possibility to go wrong, a program whose semantics is given by these operators will go wrong; it is the demonic semantics. This type of semantics is known at least since Dijkstra's introduction of the language o… Show more
“…To prove Theorem 6.1, we needed many intermediate results. Some of them have been demonstrated by the generalisation of Mills' theorem [18,46,47,48,49,50,51,52]. In Section 7, we have applied Theorem 6.1 to a compound diagram corresponding to a particular case (sequence) of language of guarded commands.…”
Section: Discussionmentioning
confidence: 98%
“…program not to terminate normally, then it will not terminate normally (like a demon it looks for the worst case). The nondeterminism is important because, for a computation to be successful all possible executions must lead to a successful result [2,3,6,9,46,47,48,49,50,51,52].…”
We presented a unified description of flow control and single steps of a program is given to obtain flexible 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.
“…To prove Theorem 6.1, we needed many intermediate results. Some of them have been demonstrated by the generalisation of Mills' theorem [18,46,47,48,49,50,51,52]. In Section 7, we have applied Theorem 6.1 to a compound diagram corresponding to a particular case (sequence) of language of guarded commands.…”
Section: Discussionmentioning
confidence: 98%
“…program not to terminate normally, then it will not terminate normally (like a demon it looks for the worst case). The nondeterminism is important because, for a computation to be successful all possible executions must lead to a successful result [2,3,6,9,46,47,48,49,50,51,52].…”
We presented a unified description of flow control and single steps of a program is given to obtain flexible 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.
“…Actually, once problems in these fields are formalized in terms of relational calculus, these problems can be considered by using formulae of relations; that is, we need only calculus of relations in order to solve the problems. In the context of software development, one important approach is that of developing programs from specifications by stepwise refinement; see, for example, [16][17][18][19][20]. One point of view is that a specification is a relation constraining the input-output (resp., argument-result) behaviour of programs.…”
Section: (B) Medical Diagnosismentioning
confidence: 99%
“…These operations are, respectively, illustrated by Figures 7,8,9,10,11,12,13,14,15,16,17,18,19,20,21, and 22.…”
Section: Operations On Fuzzy Relationsmentioning
confidence: 99%
“…The operator (⊓) is called fuzzy demonic intersection. This definition is equivalent to the definition given in ( [18,19,36,43,[48][49][50]). In other words,…”
Section: Demonic Fuzzy Order and Fuzzy Demonic Operatorsmentioning
We use relational algebra to define a refinement fuzzy order calleddemonic fuzzy refinementand also the associated fuzzy operators which are fuzzy demonic join(⊔fuz), fuzzy demonic meet(⊓fuz), and fuzzy demonic composition(□fuz). Our definitions and properties are illustrated by some examples using mathematica software (fuzzy logic).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.