↓ Skip to main content

Refinement Calculus

Overview of attention for book
Cover of 'Refinement Calculus'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Posets, Lattices, and Categories
  4. Altmetric Badge
    Chapter 3 Higher-Order Logic
  5. Altmetric Badge
    Chapter 4 Functions
  6. Altmetric Badge
    Chapter 5 States and State Transformers
  7. Altmetric Badge
    Chapter 6 Truth Values
  8. Altmetric Badge
    Chapter 7 Predicates and Sets
  9. Altmetric Badge
    Chapter 8 Boolean Expressions and Conditionals
  10. Altmetric Badge
    Chapter 9 Relations
  11. Altmetric Badge
    Chapter 10 Types and Data Structures
  12. Altmetric Badge
    Chapter 11 Predicate Transformers
  13. Altmetric Badge
    Chapter 12 The Refinement Calculus Hierarchy
  14. Altmetric Badge
    Chapter 13 Statements
  15. Altmetric Badge
    Chapter 14 Statements as Games
  16. Altmetric Badge
    Chapter 15 Choice Semantics
  17. Altmetric Badge
    Chapter 16 Subclasses of Statements
  18. Altmetric Badge
    Chapter 17 Correctness and Refinement of Statements
  19. Altmetric Badge
    Chapter 18 Well-founded Sets and Ordinals
  20. Altmetric Badge
    Chapter 19 Fixed Points
  21. Altmetric Badge
    Chapter 20 Recursion
  22. Altmetric Badge
    Chapter 21 Iteration and Loops
  23. Altmetric Badge
    Chapter 22 Continuity and Executable Statements
  24. Altmetric Badge
    Chapter 23 Working with Arrays
  25. Altmetric Badge
    Chapter 24 The N-Queens Problem
  26. Altmetric Badge
    Chapter 25 Loops and Two-Person Games
  27. Altmetric Badge
    Chapter 26 Statement Classes and Normal Forms
  28. Altmetric Badge
    Chapter 27 Specification Statements
  29. Altmetric Badge
    Chapter 28 Refinement in Context
  30. Altmetric Badge
    Chapter 29 Iteration of Conjunctive Statements
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
546 Dimensions

Readers on

mendeley
7 Mendeley
citeulike
1 CiteULike
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Refinement Calculus
Published by
Springer Science & Business Media, December 2012
DOI 10.1007/978-1-4612-1674-2
ISBNs
978-1-4612-1674-2, 978-0-387-98417-9
Authors

Back, Ralph-Johan, Wright, Joakim

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 43%
Professor 1 14%
Professor > Associate Professor 1 14%
Other 1 14%
Unknown 1 14%
Readers by discipline Count As %
Computer Science 6 86%
Unknown 1 14%