article

Free access

An object addressing mechanism for statically typed languages with multiple inheritance

Authors:

R. C. H. Conner,

A. Dearle,

R. Morrison,

A. L. BrownAuthors Info & Claims

ACM SIGPLAN Notices, Volume 24, Issue 10

Pages 279 - 285

https://doi.org/10.1145/74878.74906

Published: 01 September 1989 Publication History

PDF eReader

Abstract

In this paper we are concerned with addressing techniques for statically typed languages with multiple inheritance. The addressing techniques are responsible for the efficient implementation of record field selection. In object-oriented languages, this record selection is equivalent to the access of methods. Thus, the efficiency of these techniques greatly affects the overall performance of an object-oriented language. We will demonstrate that addresses, in such systems, cannot always be calculated statically and show how symbol tables have been used as address maps at run time. The essence of the paper is a new addressing technique that can statically calculate either the address of a field or the address of the address of the field. This technique is powerful enough to support an efficient implementation of multiple inheritance with implicit subtyping as described by Cardelli.

References

[1]

Atkinson M.P. Bailey P.J., Chisholm K.J., Cockshott W.P. & Morrison R."An Approach to Persistent Programming". The Computer Journal, Vol 26, No 4 (December 1983) pp 360- 365.

Crossref

Google Scholar

[2]

Atkinson M.P & Morrison R. "Procedures as Persistent Data Objects", ACM ToPLaS, Vol 7, No 4 (October 1985) pp 539-559.

Digital Library

Google Scholar

[3]

Bancilhon F., Barbedette G., Benzaken V., Delobel C., Gamerman S, Lecluse C., Pfeffer P., Richard P. & Valez F. "The Design and Implementation of 02, an Object Oriented Database System". Proc. 2rid International Workshop on Object-Oriented Database Systems, West Germany. In Lecture Notes in Computer Science, 334. Springer-Vedag (September 1988) pp. 1-22.

Digital Library

Google Scholar

[4]

Brown A.L., Cormor R.C.H., Carrick R., Dearle A. & Morrison R. "the Persistent Abstract Machine Version 4.0". Universifies of St Andrews and Glasgow PPRR-59 (1988),

Google Scholar

[5]

Cardelli L. "A Semantics of Multiple Inheritance", In Semantics of Data Types, Lecture Notes in Computer Science 173, Springer-Verlag (1984) pp 51-67.

Crossref

Google Scholar

[6]

Connor R.C.H., Brown, A.L., Carriek R., Dearie A. & Morrison R, "/'he Persistent Abstract Machine". Proc. 3rd International Workshop on Persistent Object Systems, Newcastle, Australia. (January 1989) pp 80-95.

Digital Library

Google Scholar

[7]

Cormors T. & Lyngbaek P. "Providing Uniform Access to Heterogenous Information Bases". Proe. 2nd International Workshop on Object-Oriented Database Systems, West Germany. In Lecture Notes in Computer Science, 334. Springer-Verlag, pp. 162-173 (September 1988).

Crossref

Google Scholar

[8]

Goldberg A. & Robson D. Smalltalk-80: The Language and its Implementation, Addison Wesley (1983).

Digital Library

Google Scholar

[9]

Meyer B. Object-Oriented Software Construction, Prenrice Hall (1988).

Digital Library

Google Scholar

[10]

Stroustrup B. The C++ Programming Language, Addison Wesley (1986).

Digital Library

Google Scholar

[11]

Stroustrup B. "Multiple Inheritance for C++", European Unix Systems User Group Newsletter, Volume 7 (1987).

Google Scholar

[12]

Skarra A. & Zdonik S.B. "An Object Server for an Object-Oriented Database System", Proc. International Workshop on Object-Oriented Database Systems, Pacific Grove California (September 1986) pp 196-204.

Digital Library

Google Scholar

[13]

Wegner P. & Zdonik S.B. "Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like", In Proceedings ECOOP "88- European conference on Object-Oriented programming, Lecture Notes in Computer Science 322, Oslo, Norway, (August 1988) pp 55-77.

Crossref

Google Scholar

Cited By

View all

Ohori A(1995)A polymorphic record calculus and its compilationACM Transactions on Programming Languages and Systems10.1145/218570.21857217:6(844-895)Online publication date: 30-Nov-1995
https://dl.acm.org/doi/10.1145/218570.218572
Morrison RDearle AConnor RBrown A(1991)An ad hoc approach to the implementation of polymorphismACM Transactions on Programming Languages and Systems10.1145/117009.11701713:3(342-371)Online publication date: 1-Jul-1991
https://dl.acm.org/doi/10.1145/117009.117017
Morrison RConnor RKirby GMunro DAtkinson MCutts QBrown FDearie A(2000)The Napier88 Persistent Programming Language and EnvironmentFully Integrated Data Environments10.1007/978-3-642-59623-0_6(98-154)Online publication date: 2000
https://doi.org/10.1007/978-3-642-59623-0_6
Show More Cited By

Index Terms

An object addressing mechanism for statically typed languages with multiple inheritance
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
  2. Software notations and tools
    1. General programming languages
      1. Language features
        Data types and structures

Recommendations

An object addressing mechanism for statically typed languages with multiple inheritance
OOPSLA '89: Conference proceedings on Object-oriented programming systems, languages and applications

In this paper we are concerned with addressing techniques for statically typed languages with multiple inheritance. The addressing techniques are responsible for the efficient implementation of record field selection. In object-oriented languages, this ...
Implementing statically typed object-oriented programming languages

Object-oriented programming represents an original implementation issue due to its philosophy of making the program behavior depend on the dynamic type of objects. This is expressed by the late binding mechanism, aka message sending. The underlying ...
Dynamic inheritance in a statically typed language

There is a long-standing schism in object-orientation between the safe but rigid statically typed languages, and the flexible but less safe dynamically typed languages. This paper presents an enhancement of the flexibility and expressive power of a ...

Comments

Information & Contributors

Information

Published In

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1989

Published in SIGPLAN Volume 24, Issue 10

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
321
Total Downloads

Downloads (Last 12 months)24
Downloads (Last 6 weeks)7

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ohori A(1995)A polymorphic record calculus and its compilationACM Transactions on Programming Languages and Systems10.1145/218570.21857217:6(844-895)Online publication date: 30-Nov-1995
https://dl.acm.org/doi/10.1145/218570.218572
Morrison RDearle AConnor RBrown A(1991)An ad hoc approach to the implementation of polymorphismACM Transactions on Programming Languages and Systems10.1145/117009.11701713:3(342-371)Online publication date: 1-Jul-1991
https://dl.acm.org/doi/10.1145/117009.117017
Morrison RConnor RKirby GMunro DAtkinson MCutts QBrown FDearie A(2000)The Napier88 Persistent Programming Language and EnvironmentFully Integrated Data Environments10.1007/978-3-642-59623-0_6(98-154)Online publication date: 2000
https://doi.org/10.1007/978-3-642-59623-0_6
Morrison RDearle AConnor RBrown F(2000)An ad hoc Approach to the Implementation of PolymorphismFully Integrated Data Environments10.1007/978-3-642-59623-0_39(502-504)Online publication date: 2000
https://doi.org/10.1007/978-3-642-59623-0_39
Atkinson M(2000)Persistent Foundations for Scalable Multi-Paradigmal SystemsFully Integrated Data Environments10.1007/978-3-642-59623-0_23(310-340)Online publication date: 2000
https://doi.org/10.1007/978-3-642-59623-0_23
Ghelli G(1993)Run-Time Support for Hierarchic Records in Persistent LanguagesPersistent Object Systems10.1007/978-1-4471-3209-7_7(107-123)Online publication date: 1993
https://doi.org/10.1007/978-1-4471-3209-7_7
Ohori ASethi R(1992)A compilation method for ML-style polymorphic record calculiProceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/143165.143200(154-165)Online publication date: 1-Feb-1992
https://dl.acm.org/doi/10.1145/143165.143200
Baker H(1991)CLOStrophobia: its etiology and treatmentACM SIGPLAN OOPS Messenger10.1145/126983.1269842:4(4-15)Online publication date: 1-Oct-1991
https://dl.acm.org/doi/10.1145/126983.126984
Rosenberg J(1991)Architectural support for persistent object systemsProceedings 1991 International Workshop on Object Orientation in Operating Systems10.1109/IWOOOS.1991.183022(48-60)Online publication date: 1991
https://doi.org/10.1109/IWOOOS.1991.183022
Pugh WWeddell G(1990)Two-directional record layout for multiple inheritanceACM SIGPLAN Notices10.1145/93548.9355625:6(85-91)Online publication date: 1-Jun-1990
https://dl.acm.org/doi/10.1145/93548.93556
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations