Correctness proofs for abstract implementations
- 1 February 1989
- journal article
- Published by Elsevier in Information and Computation
- Vol. 80 (2) , 121-151
- https://doi.org/10.1016/0890-5401(89)90016-3
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errorsTheoretical Computer Science, 1986
- Test sets generation from algebraic specifications using logic programmingJournal of Systems and Software, 1986
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- Proof of correctness of data representationsActa Informatica, 1972