Demonic Operational and Denotational Semantics
Fairouz Tchier, Saudi Arabia · 2008
Over the years, different approaches to give semantics of program-ming and specification language have been put forward. We restrict ourselves to the operational and the denotational approach, two main streams in the field of semantics. We use relational formalism and we consider the worst execution of the program i.e we suppose that the program behaves as badly as possible it’s the demonic relational se-mantics. The principal aim of this paper is to show that relational demonic operational semantics of a nondeterministic program is equal to its demonic denotational semantics.