Abstract implementations and correctness proofs
Authors:
- 1 January 1986
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 236-251
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Parameterized data types in algebraic specification languages1980
- Algebraic implementation of abstract data types: concept, syntax, semantics and correctnessLecture Notes in Computer Science, 1980
- Algebraic implementation of abstract data typesACM SIGACT News, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975