article

Class-is-type is inadequate for object reuse

Author:

Sheng YuAuthors Info & Claims

ACM SIGPLAN Notices, Volume 36, Issue 6

Pages 50 - 59

https://doi.org/10.1145/504359.504364

Published: 01 June 2001 Publication History

Abstract

It is well known that class and type are two different concepts in object-oriented programming languages (OOPLs). However, in many popular OOPLs, classes are used as types. In this paper, we argue that the class-is-type principle is a major obstacle to software reuse, especially to object reuse. The concepts of the basic entities, i.e., objects, object classes, object types, and object kinds, in the type hierarchy of OOPLs are revisited. The notion of object reuse is defined and elaborated. In addition, we show that parameterized types and generic functions are better served by used kind-bounded quantification than universal quantification and other mechanisms.

References

[1]

M. Abadi and L. Cardelli, A theory of objects, Springer, New York, 1996.

Digital Library

[2]

Ada 9X mapping/revision team, Ada 9X rationale, Intermetrics, Inc., 8 June 1994.

[3]

K. Arnold and J. Gostling, The Java programming language, Adddison-Wesley, 1996.

[4]

J.G.P. Barnes, Programming in Ada, Addison-Wesley Publishing Company, 1989.

Digital Library

[5]

G. Baumgartner and V.F. Russo, A C++ extension for types abstraction and subtype polymorphism, Tech report CSD-TR-93-059, Dept. of Computer Science, Purdue Univ., Sept. 1993.

[6]

G. Blaschek, "Type-safe OOP with prototypes: the concept of Omega", Structured programming 12(12) (1991) 1-9.

[7]

R. Breu, Algebraic specification techniques in object oriented programming environments, Lecture Notes in Computer Science, 562, 1991.

Digital Library

[8]

K.B. Bruce and G. Longo, "A modest model of records, inheritance, and bounded quantification", Information and Computation, 87(1990) 196-240.

Digital Library

[9]

K.B. Bruce, A.R. Meyer, and J.C. Mitchell, "The semantics of second-order Lambda calculus", Information and computation, 85(1990) 76-134.

Digital Library

[10]

L. Cardelli, Typeful programming, Formal description of programming concepts---IFIP state-of-art report, 431-507, Springer-Verlag, 1991.

[11]

C. Chambers, "The Cecil language specification and rationale", Technical report 93-03-05, Univ. of Washington, Dept. of Comuter Science and Engineering, 1993.

[12]

W. Cook, W. Hill, and P. Canning, "Inheritance is not subtyping", Proc. of the 17th Annual Sympos. on Principles of Programming Languages 125-135, 1990.

Digital Library

[13]

W. Cook, W. Hill, W. Olthoff, and J. Mitchell, "F-bounded polymorphism for object-oriented programming", Proc. 4th Internat. Conf. on Functional Programming Languages and Computer Architecture, 273-280, 1989.

Digital Library

[14]

I. Craig, The interpretation of object-oriented programming languages, Springer, London, 2000.

Digital Library

[15]

J. Donahue and A. Demers, Data types are values, ACM Trans. on Programming Languages and Systems, 7(3) 426-445, July 1985.

Digital Library

[16]

K. Futatsugi, J.A. Goguen, J.-P. Jouannaud, J. Meseguer, Principles of OBJ2, Proc. of the 12th POPL, 52-66, 1985.

Digital Library

[17]

J.-Y. Girard, Interpretation fonctionelle et élimination des coupures de l'arithmétique d'ordre supéieur, These D'Etat, Univ. Paris VIII, 1972.

[18]

J.V. Guttag, J.J. Horning, The algebraic specification of abstract data types, Programming Methodology, 282-308, Springer-Verlag, 1978.

[19]

B. Liskov, D. Curtis, M. Day, S. Chemawat, R. Gruber, P. Johnson, and A.C. Myers, Theta reference manual---preliminary version, MIT Laboratory for Comptuer Science, Cambridge 1995.

[20]

B. Liskov, J. Guttag, Abstraction and specification in program development, The MIT Press, 1986.

Digital Library

[21]

G.D. MacQueen and R. Sethi, A semantic model of types for applicative languages, ACM Symp. on Lisp and Functional Programming, 243-252, 1982.

Digital Library

[22]

N. McCracken, An investigation of a programming language with a polymorphic type structure, Ph.D thesis, Syracuse Univ., 1979.

Digital Library

[23]

B. Meyer, Eiffle: The language, Prentice Hall, 1992.

Digital Library

[24]

G. Nelson, Systems programming with Modula-3, Prentice Hall, Englewood, 1991.

Digital Library

[25]

J. Noble, A. Taivalsaari, and I. Moore eds., Prototype-based programming, Springer, Singapore, 1999.

[26]

P. Scheyen, S. Yu, M. Zhang, and Q. Zhuang. Introducing KINDS to C++, Technical report 366, Dept. of Computer Science, The Univ. of Western Ontario, 1993.

[27]

P. Scheyen, C++ constructs for generic functions and classes, Master thesis, Dept. of Computer Science, The Univ. of Western Ontario, 1994.

[28]

L.A. Stein, H. Lieberman, and D. Ungar, "A shared view of sharing: the treaty of Orlando", Object-oriented concepts, applications, and databases, W. Kim and F. Lockowsky, eds., 1988, 31-48.

Digital Library

[29]

B. Stroupstrup, The C++ programming language---special edition, Addison-Wesley, Reading, MA, 2000.

Digital Library

[30]

C. Szyperski, Component software---beyond object-oriented programming, Addison-Wesley, Hoalow, England, 1997.

Digital Library

[31]

D. Ungar and R.B. Smith, "Self: the power of simplicity", Lisp and Symbolic Computation 4(3) (1991) 187-205.

Digital Library

[32]

S. Yu and Q. Zhuang, "Algorithmic abstraction in object-oriented languages", Journal of Object-Oriented Systems 2 (1995) 217-236.

[33]

S. Yu and Q. Zhuang, "Software reuse via algorithm abstraction", Proc. of the 17th Internat. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS), 277-292, 1995.

[34]

S. Yu and Q. Zhuang, On parametric polymorphism in object-oriented languanges, Technical report 378, Dept. of Computer Science, The Univ. of Western Ontario, 1993.

[35]

Q. Zhuang, Algorithm abstraction via polymorphism in object-oriented languages, Ph.D. thesis (in preparation), Dept. of Computer Science, The Univ. of Western Ontario, 1995.

Digital Library

Cited By

Xu HYu S(2006)Type Theory and Language Constructs for Objects with StatesElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.09.028135:3(141-151)Online publication date: 1-Mar-2006
https://dl.acm.org/doi/10.1016/j.entcs.2005.09.028
Babu CJanakiram D(2004)Method driven modelACM SIGPLAN Notices10.1145/1026474.102648439:8(61-71)Online publication date: 1-Aug-2004
https://dl.acm.org/doi/10.1145/1026474.1026484

Index Terms

Class-is-type is inadequate for object reuse
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Data types and structures
      2. Language types
        Object oriented languages

Recommendations

Type inference for record concatenation and subtyping

Record concatenation, multiple inheritance, and multiple-object cloning are closely related and part of various language designs. For example, in Cardelli's untyped Obliq language, a new object can be constructed from several existing objects by cloning ...
A historic functional and object-oriented calculus
PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming

We present a functional object calculus which solves the traditional conflict between matching-based functional programming and object-oriented programming, by treating uniformly method invocations and functional constructor applications. The key ...
Flow-insensitive type qualifiers

We describe flow-insensitive type qualifiers, a lightweight, practical mechanism for specifying and checking properties not captured by traditional type systems. We present a framework for adding new, user-specified type qualifiers to programming ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 36, Issue 6

June 2001

38 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/504359

Issue’s Table of Contents

Copyright © 2001 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2001

Published in SIGPLAN Volume 36, Issue 6

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
2,349
Total Downloads

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

Reflects downloads up to 17 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Xu HYu S(2006)Type Theory and Language Constructs for Objects with StatesElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.09.028135:3(141-151)Online publication date: 1-Mar-2006
https://dl.acm.org/doi/10.1016/j.entcs.2005.09.028
Babu CJanakiram D(2004)Method driven modelACM SIGPLAN Notices10.1145/1026474.102648439:8(61-71)Online publication date: 1-Aug-2004
https://dl.acm.org/doi/10.1145/1026474.1026484

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents