Robert G. Farrell, Catalina M. Danis, et al.
RecSys 2012
This paper presents a treatment of pre- and post-conditions, and predicate transformers, in a category-theoretic setting. The meaning of a pair of pre- and post-conditions, or a predicate transformer, in a category is defined as a set of morphisms in that category. It is shown that this construction is natural in the sense that it forms part of a Galois connection. It is further proved that in the usual categories of interpretations (total functions, partial functions, and relations) pre- and post-conditions and predicate transformers have equal powers of specifications and we characterize the specifiable sets of morphisms in these categories. © 1987.
Robert G. Farrell, Catalina M. Danis, et al.
RecSys 2012
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989
Raymond Wu, Jie Lu
ITA Conference 2007
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997