Titlebook: Refinement Calculus; A Systematic Introdu Ralph-Johan Back,Joakim Wright Textbook 1998 Springer Science+Business Media New York 1998 calcul

慢跑鞋

Relationscombine a lattice and a category structure. Relations also provide us with a more expressive way of describing state changes, where the effect can be nondeterministic in some states and undefined in other states.

污點(diǎn)

The Refinement Calculus Hierarchy the domain itself or to another domain. The basic question that we investigate in this chapter is to what extent the lattice and category structure is preserved by these constructors, i.e., to what extent the constructors are monotonic and homomorphic.

完成

Subclasses of Statementssider the four basic homomorphism properties — bottom, top, meet, and join homomorphism — to see to what extent the constructs in our statement language preserve these properties. These homomorphism properties are closely linked to distributivity properties of statements.

冷峻

歌劇等

你正派

大方不好

Posets, Lattices, and Categoriestices, and categories. We identify the basic properties of posets and lattices, and use them for a classification of lattices. We also show how to construct new lattices out of old ones as Cartesian products and function spaces. We study structure-preserving mappings (homomorphisms) on lattices. Fin

碎石

同步左右

Cloudburst