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

別名

catagen

GREEN

Statements as Gamesnterpretation of contract statements as . We show that the predicate transformer semantics is an abstraction of the game semantics, in the sense that we can compute the former from the latter. Both correctness of statements and refinement can be explained operationally in terms of winning strategies in games.

TAP

Functionsyle and the derivational proof style are just two different ways of writing proofs; the underlying notion of a proof is the same in both styles. Finally, we postulate a new type constructor that denotes a Cartesian product and investigate its basic properties.

吹牛需要藝術(shù)

jeopardize

抱狗不敢前

多節(jié)

莎草

Yourself

1868-0941 wledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.978-0-387-98417-9978-1-4612-1674-2Series ISSN 1868-0941 Series E-ISSN 1868-095X