Laws of data refinement
- 1 February 1989
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 26 (4) , 287-308
- https://doi.org/10.1007/bf00276019
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Data refinement by miraclesInformation Processing Letters, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Prespecification in data refinementInformation Processing Letters, 1987
- A new notion of encapsulationACM SIGPLAN Notices, 1985
- Proof of correctness of data representationsActa Informatica, 1972
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955