Abstract
The refinement relation is very restrictive, as it requires that the refining statement preserve the correctness of the original statement no matter what pre-and post-conditions are assumed for the original statement. In practice, we are interested mostly in refining a statement that occurs as a component of a larger statement. This context will then restrict the pre-and postconditions that need to be preserved for the whole statement to be refined.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Back, RJ., von Wright, J. (1998). Refinement in Context. In: Refinement Calculus. Graduate Texts in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-1674-2_28
Download citation
DOI: https://doi.org/10.1007/978-1-4612-1674-2_28
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-98417-9
Online ISBN: 978-1-4612-1674-2
eBook Packages: Springer Book Archive