A Theory and Practice of Program Development pp 105-116 | Cite as
The Basic Commands
Chapter
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
Proof Obligation Introduction Rule Subsequent Chapter Basic Command Refinement Rule
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Springer-Verlag London Limited 1997