The lattice of data refinement
- 1 February 1994
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 31 (2), 105-135
- https://doi.org/10.1007/bf01192157
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Statement inversion and strongest postconditionScience of Computer Programming, 1993
- Duality in specification languages: a lattice-theoretical approachActa Informatica, 1990
- Data refinement by calculationActa Informatica, 1990
- A generalization of Dijkstra's calculusACM Transactions on Programming Languages and Systems, 1989
- A calculus of refinements for program derivationsActa Informatica, 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
- Prespecification in data refinementInformation Processing Letters, 1987
- Proof of correctness of data representationsActa Informatica, 1972