Behavioural correctness of data representations
- 30 June 1990
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 14 (1) , 43-57
- https://doi.org/10.1016/0167-6423(90)90057-k
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Prespecification in data refinementInformation Processing Letters, 1987
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- Non-deterministic data types: models and implementationsActa Informatica, 1986
- Micelle-derived catalysts for extended Schulz-Flory. Technical progress report, April 1, 1985--June 30, 1985Published by Office of Scientific and Technical Information (OSTI) ,1985
- Partial abstract typesActa Informatica, 1982
- Observability concepts in abstract data type specificationLecture Notes in Computer Science, 1976
- Proof of correctness of data representationsActa Informatica, 1972
- Products of automata and the problem of coveringTransactions of the American Mathematical Society, 1965