A flexible mechanism of rescuing code already written,which contains behav-iors in many varieties of inheritance and is called general inheritance,is introduced in this paper.For its implementation in object—oriented language,its operational semantics and a class mechanism sopporting subtyping—check are given.
1 Wegner P,Zdonik S.Inheritance as an incremental modification mechanism or what like and isn't like.ECOOP'88,
1988.
2 America P.A behavioral to subtyping in object—oriented programming languages.ESPRIT Project 415 Doc No.
443,Jun.1989.
3 America P.A parallel object—oriented language with inheritance and subtyping.ECOOP/OOPSLA,1990.
4 Snyder A.Encapsulation and inheritance in object—oriented languages.OOPSLA,1986.
5 Meyer B.Object—oriented software construction.Prentice—Hall,New York,1988.
6 Goldberg A.Robson D.Smalhalk—80:the language and its implementation.Addison—Wesley,1983.
7 Cook W,Palsberg J.A denotational semantics of inheritance and its correctness.Proc.of the OOPSLA ACM Con-
ference,1989.