On the Refinement Calculus

1. Front Matter

   Pages i-xi

   PDF

2. The Specification Statement

   • Carroll Morgan

   Pages 1-21

3. Specification Statements and Refinement

   • Carroll Morgan, Ken Robinson

   Pages 23-46

4. Procedures, Parameters, and Abstraction: Separate Concerns

   • Carroll Morgan

   Pages 47-58

5. Data Refinement by Miracles

   • Carroll Morgan

   Pages 59-64

6. Auxiliary Variables in Data Refinement

   • Carroll Morgan

   Pages 65-70

7. Data Refinement of Predicate Transformers

   • P. H. B. Gardiner, C. C. Morgan

   Pages 71-84

8. Data Refinement by Calculation

   • Carroll Morgan, P. H. B. Gardiner

   Pages 85-110

9. A Single Complete Rule for Data Refinement

   • P. H. B. Gardiner, Carroll Morgan

   Pages 111-126

10. Types and Invariants in the Refinement Calculus

    • Carroll Morgan, Trevor Vickers

    Pages 127-154

11. Back Matter

    Pages 155-159

    PDF

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

• algorithms
• calculus
• distribution
• programming
• programming language

• Programming Research Group, Oxford University Computing Laboratory, Oxford, UK

  Carroll Morgan

• Department of Computer Science, Australian National University, Canberra, Australia

  Trevor Vickers

Policies and ethics