Advertisement

Refinement Calculus

A Systematic Introduction

  • Ralph-Johan Back
  • Joakim von Wright

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

Table of contents

  1. Front Matter
    Pages i-xv
  2. Introduction

    1. Ralph-Johan Back, Joakim von Wright
      Pages 1-25
  3. Foundations

    1. Front Matter
      Pages 27-27
    2. Ralph-Johan Back, Joakim von Wright
      Pages 29-55
    3. Ralph-Johan Back, Joakim von Wright
      Pages 57-67
    4. Ralph-Johan Back, Joakim von Wright
      Pages 69-84
    5. Ralph-Johan Back, Joakim von Wright
      Pages 85-108
    6. Ralph-Johan Back, Joakim von Wright
      Pages 109-125
    7. Ralph-Johan Back, Joakim von Wright
      Pages 127-138
    8. Ralph-Johan Back, Joakim von Wright
      Pages 139-149
    9. Ralph-Johan Back, Joakim von Wright
      Pages 151-165
    10. Ralph-Johan Back, Joakim von Wright
      Pages 167-183
  4. Statements

    1. Front Matter
      Pages 185-185
    2. Ralph-Johan Back, Joakim von Wright
      Pages 187-202
    3. Ralph-Johan Back, Joakim von Wright
      Pages 203-212
    4. Ralph-Johan Back, Joakim von Wright
      Pages 213-231
    5. Ralph-Johan Back, Joakim von Wright
      Pages 233-247
    6. Ralph-Johan Back, Joakim von Wright
      Pages 249-257
    7. Ralph-Johan Back, Joakim von Wright
      Pages 259-267
    8. Ralph-Johan Back, Joakim von Wright
      Pages 269-298
  5. Recursion and Iteration

    1. Front Matter
      Pages 299-299
    2. Ralph-Johan Back, Joakim von Wright
      Pages 301-316
    3. Ralph-Johan Back, Joakim von Wright
      Pages 317-327
    4. Ralph-Johan Back, Joakim von Wright
      Pages 329-345
    5. Ralph-Johan Back, Joakim von Wright
      Pages 347-363
    6. Ralph-Johan Back, Joakim von Wright
      Pages 365-382
    7. Ralph-Johan Back, Joakim von Wright
      Pages 383-402
    8. Ralph-Johan Back, Joakim von Wright
      Pages 403-412
    9. Ralph-Johan Back, Joakim von Wright
      Pages 413-423
  6. Statement Subclasses

    1. Front Matter
      Pages 425-425
    2. Ralph-Johan Back, Joakim von Wright
      Pages 427-445
    3. Ralph-Johan Back, Joakim von Wright
      Pages 447-462
    4. Ralph-Johan Back, Joakim von Wright
      Pages 463-478
    5. Ralph-Johan Back, Joakim von Wright
      Pages 479-496
  7. Back Matter
    Pages 497-519

About this book

Introduction

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.

Keywords

calculus computer science iteration logic semantics

Authors and affiliations

  • Ralph-Johan Back
    • 1
  • Joakim von Wright
    • 1
  1. 1.Department of Computer ScienceÅbo Akademi UniversityTurkuFinland

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4612-1674-2
  • Copyright Information Springer-Verlag New York, Inc. 1998
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-387-98417-9
  • Online ISBN 978-1-4612-1674-2
  • Series Print ISSN 1868-0941
  • Series Online ISSN 1868-095X
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications