Skip to main content
SpringerLink
Log in

Refinement Calculus

A Systematic Introduction

  • Textbook
  • © 1998

Overview

Authors:
  1. Ralph-Johan Back

    1. Department of Computer Science, Åbo Akademi University, Turku, Finland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Joakim Wright

    1. Department of Computer Science, Åbo Akademi University, Turku, Finland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Texts in Computer Science (TCS)

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (29 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Introduction

    1. Introduction

      • Ralph-Johan Back, Joakim von Wright
      Pages 1-25

  3. Foundations

    1. Front Matter

      Pages 27-27
      Download chapter PDF

    2. Posets, Lattices, and Categories

      • Ralph-Johan Back, Joakim von Wright
      Pages 29-55

    3. Higher-Order Logic

      • Ralph-Johan Back, Joakim von Wright
      Pages 57-67

    4. Functions

      • Ralph-Johan Back, Joakim von Wright
      Pages 69-84

    5. States and State Transformers

      • Ralph-Johan Back, Joakim von Wright
      Pages 85-108

    6. Truth Values

      • Ralph-Johan Back, Joakim von Wright
      Pages 109-125

    7. Predicates and Sets

      • Ralph-Johan Back, Joakim von Wright
      Pages 127-138

    8. Boolean Expressions and Conditionals

      • Ralph-Johan Back, Joakim von Wright
      Pages 139-149

    9. Relations

      • Ralph-Johan Back, Joakim von Wright
      Pages 151-165

    10. Types and Data Structures

      • Ralph-Johan Back, Joakim von Wright
      Pages 167-183

  4. Statements

    1. Front Matter

      Pages 185-185
      Download chapter PDF

    2. Predicate Transformers

      • Ralph-Johan Back, Joakim von Wright
      Pages 187-202

    3. The Refinement Calculus Hierarchy

      • Ralph-Johan Back, Joakim von Wright
      Pages 203-212

    4. Statements

      • Ralph-Johan Back, Joakim von Wright
      Pages 213-231

    5. Statements as Games

      • Ralph-Johan Back, Joakim von Wright
      Pages 233-247

    6. Choice Semantics

      • Ralph-Johan Back, Joakim von Wright
      Pages 249-257

    7. Subclasses of Statements

      • Ralph-Johan Back, Joakim von Wright
      Pages 259-267

    8. Correctness and Refinement of Statements

      • Ralph-Johan Back, Joakim von Wright
      Pages 269-298
Back to top

Keywords

About this book

Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.

Authors and Affiliations

  • Department of Computer Science, Åbo Akademi University, Turku, Finland

    Ralph-Johan Back, Joakim Wright

Bibliographic Information

  • Book Title: Refinement Calculus

  • Book Subtitle: A Systematic Introduction

  • Authors: Ralph-Johan Back, Joakim Wright

  • Series Title: Texts in Computer Science

  • DOI: https://doi.org/10.1007/978-1-4612-1674-2

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 1998

  • Softcover ISBN: 978-0-387-98417-9Published: 13 April 1998

  • eBook ISBN: 978-1-4612-1674-2Published: 06 December 2012

  • Series ISSN: 1868-0941

  • Series E-ISSN: 1868-095X

  • Edition Number: 1

  • Number of Pages: XVI, 520

  • Number of Illustrations: 11 b/w illustrations

  • Topics: Theory of Computation

Publish with us

Policies and ethics

Back to top

Search

Navigation