Types and invariants in the refinement calculus
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 363-378
- https://doi.org/10.1007/3-540-51305-1_22
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Auxiliary variables in data refinementInformation Processing Letters, 1988
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- Data refinement by miraclesInformation Processing Letters, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Specification statements and refinementIBM Journal of Research and Development, 1987
- ConstraintsPublished by Association for Computing Machinery (ACM) ,1985