article

Free access

A parallel object-oriented language with inheritance and subtyping

Authors:

Pierre America,

Frank van der LindenAuthors Info & Claims

ACM SIGPLAN Notices, Volume 25, Issue 10

Pages 161 - 168

https://doi.org/10.1145/97946.97966

Published: 01 September 1990 Publication History

PDF eReader

Abstract

This paper shows that inheritance and subtyping can be introduced advantageously into a parallel object-oriented language, POOL-I. These concepts are clearly distinguished, because they deal with different aspects of programming. In this way several problems traditionally adhering to inheritance can be solved. The language POOL-I is a parallel object-oriented language with a strong typing scheme which includes genericity and dynamic binding. A novel and particularly powerful mechanism offers the possibility to manipulate and analyse types dynamically.

References

[1]

P.H.M. AMERICA, POOL-T: A parallel objectoriented language. In A. Yonezawa, M. Tokoro (eds.): Object-Oriented Concurrent Programming, MIT Press, 199-220 (1987).

Digital Library

Google Scholar

[2]

P.H.M. AMERICA, Inheritance and subtyping in a parallel object-oriented language. In Proc. ECOOP'87, Paris, Springer LNCS 276, 234-242 (1987).

Digital Library

Google Scholar

[3]

P.H.M. AMERICA, A Be_~av~oural approac~ to subtypiag in object-oriented programming languages. Workshop on Inheritance Hierarchies in Knowledge Representation and Programming Languages, Viareggio, Italy, February 6-8, 1989. Also in Philips Journal of Research 44(2/3):365-383, (1989).

Google Scholar

[4]

P.H.M. AMERICA, Issues in the design of a parallel object-oriented language. Formal Aspects of Computing 1(4):366-411 (1989).

Crossref

Google Scholar

[5]

P.H.M. AM~.mCA, J.W. DE BAKXER, J.N. KOK, J.J.M.M. RUTTEN, Denotat/ona/semantics of a parallel object-oriented language. Information and Computation 83(2):152-205 (1989).

Digital Library

Google Scholar

[6]

J.K. ANNOT AND P.A.M. DEN HAAN, POOL ~ad DOOM: The object-oriented approad~. Chapter 3 in P. Treleaven (ed.), Parallel Computers: Object- Oriented, Functional and Logic, Wiley (1989).

Google Scholar

[7]

D.G. BOBROW, L.G. DE1V~ICHIEL, R.R. GABPdEL, S. KEENE, G. KICZALES, D.A. MOON, Common Lisp Object System specification. Doe. 88-003, X3J13 Standards Committee (ANSI Common Lisp) (1988).

Google Scholar

[8]

W.j.H.J. BRONNENBERC, A.J. NIJMAN, E.A.M. ODIJK, R.A.H. VAN TWIST, DOOM: A decentralized object-oriented roach/he. IEEE.-MICRO 7(5):52-69 (1987).

Digital Library

Google Scholar

[9]

L. CARDELLI, A semantics of multiple inheritance. Information and Computation 76:138-164 (1988).

Digital Library

Google Scholar

[10]

W. COOK, A proposal for ma/dng }E/fie/type-safe. Proc. ECOOP '89, Nottingham, England, July 10- 14, 1989, 57-70, Cambridge University Press.

Google Scholar

[11]

W. COOK, W. HILL, P. CANNING, /nheritance is not subtyping. Proc. POPL (1990).

Digital Library

Google Scholar

[12]

B. MEYER, Object-Oriented Software Construction. Prentice-Hall (1988).

Digital Library

Google Scholar

[13]

C. SCHAFFERT, T. COOPER, B. BULLIS, M. KILIAN, C. WILPOUI', An introduction to Trd- Iis/Ow1, Proc. OOPSLA '86, Portland, Oregon, September 1986, pp. 9-16.

Digital Library

Google Scholar

[14]

W.A. WULF, R. LEvIN, S.P. HARBISON, HY- DRA/C.mmp: An Expe~mental Computer System. IVlcGraw-Hill (1981).

Google Scholar

Cited By

View all

Franken TNeele TGroote J(2023)An Autonomous Data LanguageTheoretical Aspects of Computing – ICTAC 202310.1007/978-3-031-47963-2_11(158-177)Online publication date: 4-Dec-2023
https://dl.acm.org/doi/10.1007/978-3-031-47963-2_11
Elkin MSolomon S(2015)Optimal Euclidean SpannersJournal of the ACM10.1145/281900862:5(1-45)Online publication date: 2-Nov-2015
https://dl.acm.org/doi/10.1145/2819008
An HKleinberg RShmoys D(2015)Improving Christofides' Algorithm for the s-t Path TSPJournal of the ACM10.1145/281831062:5(1-28)Online publication date: 2-Nov-2015
https://dl.acm.org/doi/10.1145/2818310
Show More Cited By

Index Terms

A parallel object-oriented language with inheritance and subtyping

Recommendations

Inheritance is not subtyping
POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

In typed object-oriented languages the subtype relation is typically based on the inheritance hierarchy. This approach, however, leads either to insecure type-systems or to restrictions on inheritance that make it less flexible than untyped Smalltalk ...
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications

This paper shows that inheritance and subtyping can be introduced advantageously into a parallel object-oriented language, POOL-I. These concepts are clearly distinguished, because they deal with different aspects of programming. In this way several ...
Inheritance and Subtyping in a Parallel Object-Oriented Language
ECOOP '87: Proceedings of the European Conference on Object-Oriented Programming

We have investigated the concepts of inheritance and subtyping in order to integrate them in a parallel object-oriented language. In doing so, we have concluded that inheritance and subtyping are two different concepts, which should not be confused in ...

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 1990

Published in SIGPLAN Volume 25, Issue 10

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

122
Total Citations
View Citations
709
Total Downloads

Downloads (Last 12 months)53
Downloads (Last 6 weeks)12

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Franken TNeele TGroote J(2023)An Autonomous Data LanguageTheoretical Aspects of Computing – ICTAC 202310.1007/978-3-031-47963-2_11(158-177)Online publication date: 4-Dec-2023
https://dl.acm.org/doi/10.1007/978-3-031-47963-2_11
Elkin MSolomon S(2015)Optimal Euclidean SpannersJournal of the ACM10.1145/281900862:5(1-45)Online publication date: 2-Nov-2015
https://dl.acm.org/doi/10.1145/2819008
An HKleinberg RShmoys D(2015)Improving Christofides' Algorithm for the s-t Path TSPJournal of the ACM10.1145/281831062:5(1-28)Online publication date: 2-Nov-2015
https://dl.acm.org/doi/10.1145/2818310
Chierichetti FKumar R(2015)LSH-Preserving Functions and Their ApplicationsJournal of the ACM10.1145/281681362:5(1-25)Online publication date: 2-Nov-2015
https://dl.acm.org/doi/10.1145/2816813
Rajiullah MHurtig PBrunstrom APetlund AWelzl M(2015)An Evaluation of Tail Loss Recovery Mechanisms for TCPACM SIGCOMM Computer Communication Review10.1145/2717646.271764845:1(5-11)Online publication date: 9-Jan-2015
https://dl.acm.org/doi/10.1145/2717646.2717648
Holk ENewton RSiek JLumsdaine A(2014)Region-based memory management for GPU programming languagesACM SIGPLAN Notices10.1145/2714064.266024449:10(141-155)Online publication date: 15-Oct-2014
https://dl.acm.org/doi/10.1145/2714064.2660244
Mitschke RErdweg SKöhler MMezini MSalvaneschi G(2014)i3QLACM SIGPLAN Notices10.1145/2714064.266024249:10(417-432)Online publication date: 15-Oct-2014
https://dl.acm.org/doi/10.1145/2714064.2660242
Parr THarwell SFisher K(2014)Adaptive LL(*) parsingACM SIGPLAN Notices10.1145/2714064.266020249:10(579-598)Online publication date: 15-Oct-2014
https://dl.acm.org/doi/10.1145/2714064.2660202
Wang PCuellar SChlipala A(2014)Compiler verification meets cross-language linking via data abstractionACM SIGPLAN Notices10.1145/2714064.266020149:10(675-690)Online publication date: 15-Oct-2014
https://dl.acm.org/doi/10.1145/2714064.2660201
Ducasse SNierstrasz OSchärli NWuyts RBlack A(2006)TraitsACM Transactions on Programming Languages and Systems10.1145/1119479.111948328:2(331-388)Online publication date: 1-Mar-2006
https://dl.acm.org/doi/10.1145/1119479.1119483
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

Inheritance is not subtyping