Advertisement

© 1998

Refinement Calculus

A Systematic Introduction

Textbook

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

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

  1. 1.Department of Computer ScienceÅbo Akademi UniversityTurkuFinland

Bibliographic information

  • Book Title Refinement Calculus
  • Book Subtitle A Systematic Introduction
  • Authors Ralph-Johan Back
    Joakim Wright
  • Series Title Graduate Texts in Computer Science
  • 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
  • Softcover ISBN 978-0-387-98417-9
  • eBook ISBN 978-1-4612-1674-2
  • Series ISSN 1868-0941
  • Series E-ISSN 1868-095X
  • Edition Number 1
  • Number of Pages XVI, 520
  • Number of Illustrations 11 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
  • Buy this book on publisher's site
Industry Sectors
Automotive
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering
Finance, Business & Banking
Electronics