Ebook: On the Refinement Calculus

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.

---

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.

---

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.
Content:
Front Matter....Pages i-xi
The Specification Statement....Pages 1-21
Specification Statements and Refinement....Pages 23-46
Procedures, Parameters, and Abstraction: Separate Concerns....Pages 47-58
Data Refinement by Miracles....Pages 59-64
Auxiliary Variables in Data Refinement....Pages 65-70
Data Refinement of Predicate Transformers....Pages 71-84
Data Refinement by Calculation....Pages 85-110
A Single Complete Rule for Data Refinement....Pages 111-126
Types and Invariants in the Refinement Calculus....Pages 127-154
Back Matter....Pages 155-159

---

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.
Content:
Front Matter....Pages i-xi
The Specification Statement....Pages 1-21
Specification Statements and Refinement....Pages 23-46
Procedures, Parameters, and Abstraction: Separate Concerns....Pages 47-58
Data Refinement by Miracles....Pages 59-64
Auxiliary Variables in Data Refinement....Pages 65-70
Data Refinement of Predicate Transformers....Pages 71-84
Data Refinement by Calculation....Pages 85-110
A Single Complete Rule for Data Refinement....Pages 111-126
Types and Invariants in the Refinement Calculus....Pages 127-154
Back Matter....Pages 155-159
....