Software Reuse in an Object Oriented Framework: Distinguishing Types from Implementations and Objects from Attributes

Almost no object oriented programming languages offer distinct language constructs for the definition of types and their implementations; instead these are united into a single class concept. Similarly object oriented programming languages do not normally distinguish between object types, which may be independently instantiated, and attribute types, which may not. The pape