Specifications and their use in defining subtypes

This publication has 6 references indexed in Scilit:

• Modular specification and verification of object-oriented programs
  IEEE Software, 1991
• Reasoning about object-oriented programs that use subtypes
  Published by Association for Computing Machinery (ACM) ,1990
• A semantics of multiple inheritance
  Information and Computation, 1988
• Distrbution and Abstract Types in Emerald
  IEEE Transactions on Software Engineering, 1987
• An algebraic model of sybtypes in object-oriented languages (draft)
  ACM SIGPLAN Notices, 1986
• The Larch Family of Specification Languages
  IEEE Software, 1985