Description to the Denotational Semantics of IMP in Predicates Domain
Zhiqing Shao · 2008
The corresponding relation between predicate transformers and state transformers has been studied.We treat the imperative denotations as predicate transformers to specify the denotational semantics of programming language IMP,and predicate transformers semantics has been demonstrated to agree with state transformers semantics.