On implementations of loose abstract data type specifications and their vertical composition

This publication has 8 references indexed in Scilit:

• Implementation Specifications
  Published by Springer Nature ,1985
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
  ACM Transactions on Programming Languages and Systems, 1983
• A kernel language for algebraic specification and implementation extended abstract
  Published by Springer Nature ,1983
• Data Type Specification: Parameterization and the Power of Specification Techniques
  ACM Transactions on Programming Languages and Systems, 1982
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
  Journal of the ACM, 1982
• Implementation of parameterised specifications
  Published by Springer Nature ,1982
• The semantics of clear, a specification language
  Published by Springer Nature ,1980