Data refinement of predicate transformers
- 1 September 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 87 (1) , 143-162
- https://doi.org/10.1016/0304-3975(91)90029-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Auxiliary variables in data refinementInformation Processing Letters, 1988
- The specification statementACM Transactions on Programming Languages and Systems, 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
- Prespecification in data refinementInformation Processing Letters, 1987
- A Weaker Precondition for LoopsACM Transactions on Programming Languages and Systems, 1982
- Proof of correctness of data representationsActa Informatica, 1972