On the Refinement Calculus

  • Carroll Morgan
  • Trevor Vickers

Table of contents

  1. Front Matter
    Pages i-xi
  2. Carroll Morgan
    Pages 1-21
  3. Carroll Morgan, Ken Robinson
    Pages 23-46
  4. Carroll Morgan
    Pages 59-64
  5. Carroll Morgan
    Pages 65-70
  6. P. H. B. Gardiner, C. C. Morgan
    Pages 71-84
  7. Carroll Morgan, P. H. B. Gardiner
    Pages 85-110
  8. P. H. B. Gardiner, Carroll Morgan
    Pages 111-126
  9. Carroll Morgan, Trevor Vickers
    Pages 127-154
  10. Back Matter
    Pages 155-159

About this book


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

Editors and affiliations

  • Carroll Morgan
    • 1
  • Trevor Vickers
    • 2
  1. 1.Programming Research GroupOxford University Computing LaboratoryOxfordUK
  2. 2.Department of Computer ScienceAustralian National UniversityCanberraAustralia

Bibliographic information