Abstract

In this chapter we shall look at refinements associated with the basic commands. The pattern of presentation followed in this, and in subsequent chapters, will be to introduce theorems about refinement that can be used as refinement rules. The main purpose of many of the theorems is to provide insight into the refinement process, and to confirm understanding of the semantics of a command and its refinement. However, some of the refinement rules are more useful than others when transforming a specification — these rules have be flagged and collected in Appendix A.

Keywords

Havoc 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1997

Authors and Affiliations

  • Derek Andrews
    • 1
  1. 1.Department of Mathematics and Computer ScienceLeicester UniversityLeicesterUK

Personalised recommendations