Skip to main content
SpringerLink
Log in

On the Refinement Calculus

  • Book
  • © 1992

Overview

Editors:
  1. Carroll Morgan

    1. Programming Research Group, Oxford University Computing Laboratory, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Trevor Vickers

    1. Department of Computer Science, Australian National University, Canberra, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

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

    Carroll Morgan

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

    Trevor Vickers

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation