On the refinement calculus / edited by Carroll Morgan and Trevor Vickers.
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London ; New York :
Springer-Verlag,
1994.
|
| Series: | Formal approaches to computing and information technology.
|
| Subjects: |
Table of Contents:
- The specification statement / Carroll Morgan
- Specification statements and refinement / Carroll Morgan and Ken Robinson
- Procedures, parameters, and abstraction : separate concerns ; Data refinement by miracles ; Auxiliary variables in data refinement / Carroll Morgan
- Data refinement of predicate transformers / Paul Gardiner and Carroll Morgan
- Data refinement by calculation / Carroll Morgan and Paul Gardiner
- A single complete rule for data refinement / Paul Gardiner and Carroll Morgan
- Types and invariants in the refinement calculus / Carroll Morgan and Trevor Vickers.