Data refinement by miracles
- 11 January 1988
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 26 (5), 243-246
- https://doi.org/10.1016/0020-0190(88)90147-0
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Specification statements and refinementIBM Journal of Research and Development, 1987
- Prespecification in data refinementInformation Processing Letters, 1987
- Non-deterministic data types: models and implementationsActa Informatica, 1986
- A new notion of encapsulationPublished by Association for Computing Machinery (ACM) ,1985