ABSTRACT
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of the purpose of inheritance. The correctness of the model is demonstrated by proving it equivalent to an operational semantics of inheritance based upon the method-lookup algorithm of object-oriented languages. Although it was originally developed to explain inheritance in object-oriented languages, the model shows that inheritance is a general mechanism that may be applied to any form of recursive definition.
- 1.Alan H. Borning and Tim O'Shea. Deltatalk: An empirically and aesthetically motivated simplification of the Smalltalk-80 language. In European Conf. on Object-Orien,ed Programming, pages 1- 10, 1987. Google ScholarDigital Library
- 2.Luca CardeUi. A semantics of multiple inheritance. In Semantics of Data Types, LNCS 173, pages 51- 68. Springer-Verlag, 1984. Google ScholarCross Ref
- 3.Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471-522, 1985. Google ScholarDigital Library
- 4.William Cook. A Deno~ational Semantics of inheritance. PhD thesis, Brown University, 1989. Google ScholarDigital Library
- 5.Ole-Johan Dalai and Kristen Nyga~rd. The SIM- U~A 67 Common Base Language. 1970.Google Scholar
- 6.Adele Goldberg and Dave Robson. Smalltalk-80: the Language and Its Implementation. Addison- Wesley, 1983. Google ScholarDigital Library
- 7.Michael J. C. Gordon. The Denotalional Description of Programming Languages. Springer-Verlag, 1979. Google ScholarDigital Library
- 8.Samuel Kamin. Inheritance in Smalltalk-80: A denotational definition. In Proc. of Conf. on Principles of Programming Languages, pages 80-87, 1988. Google ScholarDigital Library
- 9.D. McAllester and R. Zabih. Boolean classes. In Proc. A CM Conf. on Object-Oriented Programming: Systems, Languages and Applications, pages 417-423, 1987. Google ScholarDigital Library
- 10.N. Minsky and D. Rozenshtein. A law-based approach to object-oriented programming. In Proc. A CM Conf. on Object-Oriented Programming: Systems, Languages and Applications, pages 482-493, 1987. Google ScholarDigital Library
- 11.Peter Mosses and Gordon Plotkin. On proving limiting completeness. SIAM Journal of Computin9, 16:179-194, 1987. Google ScholarDigital Library
- 12.Uday S. Reddy. Objects as closures: Abstract semantics of object-oriented languages. In Proc. A CM conf. on Lisp and Functional Programming, pages 289-297, 1988. Google ScholarDigital Library
- 13.David A. Sehmidt. Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, 1986. Google ScholarDigital Library
- 14.Dana S. Scott. Data types as lattices. SIAM Journal, 5(3):522-586, 1976.Google ScholarCross Ref
- 15.Alan Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proc. A CM Conf. on Object-Oriented Programming: Systems, Languages and Applications, pages 38-45, 1986. Google ScholarDigital Library
- 16.Lynn Andrea Stein. Delegation is inheritance. In Proc. A CM Conf. on Object-Oriented Programming: Systems, Languages and Applications, pages 138-146, 1987. Google ScholarDigital Library
- 17.Joseph Stoy. Denotalional Semantics: The Scol~- Sirachey Approach to Programming Language Semantics. MIT Press, 1977. Google ScholarDigital Library
- 18.Robert D. Tennent. On a new approach to representation-independent data classes. Acla Informatica, 8:315-324, 1977.Google ScholarDigital Library
- 19.Robert D. Tennent. Denotational semantics of Hoare classes. Unpublished manuscript, 1982.Google Scholar
Index Terms
- A denotational semantics of inheritance and its correctness
Recommendations
A denotational semantics of inheritance and its correctness
Special issue: Proceedings of the 1989 ACM OOPSLA conference on object-oriented programmingThis paper presents a denotational model of inheritance. The model is based on an intuitive motivation of the purpose of inheritance. The correctness of the model is demonstrated by proving it equivalent to an operational semantics of inheritance based ...
Comments