The theory of classification part 16: rules of extension and the typing of inheritance

Article English OPEN
Simons, A.J.H. (2005)

The mechanism of inheritance, keeping in view the constraints on what may or may not be added to a class during inheritance, is examined. It is considered reasonable to to think of the merger of two record types as the set union of their respective sets of maplets. In the subtyping model, it is suggested to consider the possibility that fields of different types may be merged. It is possible to construct Derived record types using simple set union ∩ to merge the two sets of type signatures in the corresponding Base and Extra type-records.
  • References (10)

    A J H Simons, “The theory of classification, part 3: Object encodings and recursion”, in Journal of Object Technology, vol. 1, no. 4, September-October 2002, pp. 49-57. http://www.jot.fm/issues/issue_2002_09/column4 A J H Simons, “The theory of classification, part 7: A class is a type family”, in Journal of Object Technology, vol. 2, no. 3, May-June 2003, pp. 13-22.

    http://www.jot.fm/issues/issue_2003_05/column2 A J H Simons, “The theory of classification, part 8: Classification and inheritance”, in Journal of Object Technology, vol. 2, no. 4, July-August 2003, pp. 55-64.

    http://www.jot.fm/issues/issue_2003_07/column4 A J H Simons, “The theory of classification, part 9: Inheritance and self-reference”, in Journal of Object Technology, vol. 2, no. 6, November-December 2003, pp. 25- 34. http://www.jot.fm/issues/issue_2003_11/column2 A J H Simons, “The theory of classification, part 13: Template classes and genericity”, in Journal of Object Technology, vol. 3, no. 7, July-August 2004, pp.

    15-25. http://www.jot.fm/issues/issue_2004_07/column2 A J H Simons, “The theory of classification, part 11: Adding class types to object implementations”, in Journal of Object Technology, vol. 3, no. 3, March-April 2004, pp. 7-19. http://www.jot.fm/issues/issue_2004_03/column1 A J H Simons, “The theory of classification, part 10: Method combination and super-reference”, in Journal of Object Technology, vol. 3, no. 1, January-February 2004, pp. 43-53. http://www.jot.fm/issues/issue_2004_01/column4 A J H Simons, “The theory of classification, Part 15: Mixins and the superclass interface”, in Journal of Object Technology, vol. 3, no. 10, November-December 2004, pp. 7-18. http://www.jot.fm/issues/issue_2004_11/column1 A Compagnoni and B Pierce, “Multiple inheritance via intersection types”, Technical Report ECS-LFCS-93-275, University of Edinburgh, (Edinburgh: LFCS, 1993).

    [10] A J H Simons, “The theory of classification, part 4: Object types and subtyping”, in Journal of Object Technology, vol. 1, no. 5, November-December, 2002, pp. 27-35.

    http://www.jot.fm/issues/issue_2002_11/column2

    [11] A Compagnoni, “Subtyping in F is decidable”, Technical Report ECS-LFCS-94- 281, University of Edinburgh, (Edinburgh: LFCS, 1994).

    [12] A J H Simons, “Rationalising Eiffel's type system”, Proc. 18th Conf. Tech. ObjectOriented Lang. and Sys., eds. R Duke, C Mingins and B Meyer, (Melbourne : Prentice Hall, 1995), 365-377.

    [13] A J H Simons, “A language with class: The theory of classification exemplified in an object-oriented language”, PhD Thesis, University of Sheffield (Sheffield, Department of Computer Science, 1995).

    [14] K B Bruce, A Fiech and L Petersen, “Subtyping is not a good “match” for objectoriented languages”, Proc. European Conf. Obj-Oriented Prog. 1997, pub. LNCS 1241, (Jyväskylä: Springer Verlag, 1997) 104-127.

  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    9
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    White Rose Research Online - IRUS-UK 0 9
Share - Bookmark