LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Simons, A.J.H. (2005)
Languages: English
Types: Article
Subjects:
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.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 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.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article