Placement of multimedia blocks on zoned disks
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
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.
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989
Yigal Hoffner, Simon Field, et al.
EDOC 2004
Robert C. Durbeck
IEEE TACON