Polymorphism, persistence and software re-use in a strongly typed object-oriented 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.

[1]  John C. Mitchell,et al.  Abstract types have existential types , 1985, POPL.

[2]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[3]  Ronald Morrison,et al.  Types, Bindings and Parameters in a Persistent Environment , 1988, Data Types and Persistence , Informal Proceedings.

[4]  Robin Milner,et al.  A proposal for standard ML , 1984, LFP '84.

[5]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[6]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[7]  Malcolm S. Powell,et al.  Adding Programming Facilities to an Abstract Data Store , 1985, Data Types and Persistence , Informal Proceedings.

[8]  Butler W. Lampson,et al.  A Kernel Language for Abstract Data Types and Modules , 1984, Semantics of Data Types.

[9]  Ronald Morrison,et al.  The persistent store as an enabling technology for integrated project support environments , 1985, ICSE '85.

[10]  Ronald Morrison,et al.  Designing a Persistent Information Space Architecture , 1986, IFIP Congress.

[11]  Juris Hartmanis,et al.  The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 , 1983, Lecture Notes in Computer Science.

[12]  Barry W. Boehm.  Understanding and Controlling Software Costs , 1988 .

[13]  Ronald Morrison,et al.  An Integrated Graphics Programming Environment , 1986, Comput. Graph. Forum.

[14]  Ronald Morrison,et al.  An Approach to Persistent Programming , 1989, Comput. J..

[15]  Ronald Morrison,et al.  Procedures as persistent data objects , 1985, TOPL.

[16]  David C. J. Matthews,et al.  Poly manual , 1985, SIGP.