Publication | Closed Access
Polymorphism, persistence and software re-use in a strongly typed object-oriented environment
17
Citations
10
References
1987
Year
Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisFormal VerificationDependently Typed ProgrammingSystems EngineeringSoftware Re-useObject-oriented DesignSoftware ComponentObject-oriented EnvironmentPolymorphism (Computer Science)Computer SciencePolymorphic Type SystemType SystemSoftware DesignComponent TechnologyProgram AnalysisSoftware TestingFormal MethodsObject-oriented ProgrammingReusabilityPersistence MechanismCode ReuseSystem SoftwarePersistent Environment
The major requirements of a system for software re-use are that it must provide an abstraction mechanism for adequately describing the components, a mechanism for naming and storing the components, and a mechanism for composing new objects out of existing components. This paper describes a polymorphic type system that may be used to describe generic components and a persistence mechanism that may be used to name, store and compose components. By integrating the two, a strongly typed persistent environment that is an ideal base as a system for software re-use is obtained.
| Year | Citations | |
|---|---|---|
Page 1
Page 1