scholarly journals FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers

2017 ◽  
Author(s):  
Shang-Wei Lin ◽  
Jun Sun ◽  
Hao Xiao ◽  
Yang Liu ◽  
David Sanan ◽  
...  
Keyword(s):  
Predicate Transformers

scholarly journals Ambiguous Representations of Semilattices, Imperfect Information, and Predicate Transformers

Order ◽  
2019 ◽  
Vol 37 (2) ◽  
pp. 319-339
Author(s):  
Oleh Nykyforchyn ◽  
Oksana Mykytsey
Keyword(s):  
Imperfect Information ◽  
Predicate Transformers ◽  
Pseudo Inverse

Abstract Crisp and lattice-valued ambiguous representations of one continuous semilattice in another one are introduced and operation of taking pseudo-inverse of the above relations is defined. It is shown that continuous semilattices and their ambiguous representations, for which taking pseudo-inverse is involutive, form categories. Self-dualities and contravariant equivalences for these categories are obtained. Possible interpretations and applications to processing of imperfect information are discussed.

Predicate transformers in the semantics of Circus

2003 ◽  
Vol 150 (2) ◽  
pp. 85 ◽  
Author(s):  
A.L.C. Cavalcanti ◽  
J.C.P. Woodcock
Keyword(s):  
Predicate Transformers
Sign in / Sign up

Export Citation Format

Share Document