Can I read Data Refinement Refined Resume on EtoBox?

Data Refinement Refined Resume by J. He; C. A. R. Hoare; J. W. Sanders is a book available to read on EtoBox.

What is Data Refinement Refined Resume about?

We consider the original work of Hoare and Jones on data refinement in the light of Dijkstra and Smyth's treatment of nondeterminism and of Mitner and Park's definition of the simulation of Communicating Systems. Two proof methods are suggested which we hope are simpler and more general than those in current use. They are proved to be individually sufficient for the correctness of refinement and together necessary for it. The proof methods can be employed to derive the weakest specification of an implementation from its abstract specification.

Author

J. He; C. A. R. Hoare; J. W. Sanders

Publisher

Springer Berlin Heidelberg

Published

1986

Language

EN

ISBN

9780387164427

Subjects

Computer Science, Programming, Mathematics

Updated

2026-03-25