Class-is-type is inadequate for object reuse

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Class-is-type is inadequate for object reuse

Full text

Pdf (994 KB)

Source

ACM SIGPLAN Notices archive
Volume 36 , Issue 6 (June 2001) table of contents

Pages: 50 - 59

Year of Publication: 2001

ISSN:0362-1340

Author

Sheng Yu

Univ. of Western Ont., London, Ontario, Canada

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 11, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/504359.504364 What is a DOI?

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Martin Abadi , Luca Cardelli, A Theory of Objects, Springer-Verlag New York, Inc., Secaucus, NJ, 1996
	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	John G. P. Barnes, Programming ADA, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
	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 , J. Hartmanis , G. Goos, Algebraic Specification Techniques in Object Oriented Programming Environments, Springer-Verlag New York, Inc., Secaucus, NJ, 1991
	8	Kim B. Bruce , Giuseppe Longo, A modest model of records, inheritance, and unbounded quantification, Information and Computation, v.87 n.1-2, p.196-240, July/August 1990 [doi>10.1016/0890-5401(90)90062-M]
	9	Kim B. Bruce , Albert R. Meyer , John C. Mitchell, The semantics of second-order lambda calculus, Information and Computation, v.85 n.1, p.76-134, March 1990 [doi>10.1016/0890-5401(90)90044-I]
	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	William R. Cook , Walter Hill , Peter S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-135, December 1989, San Francisco, California, United States [doi>10.1145/96709.96721]
	13	Peter Canning , William Cook , Walter Hill , Walter Olthoff , John C. Mitchell, F-bounded polymorphism for object-oriented programming, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.273-280, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99392]
	14	Iain Craig, The Integration of Object-Oriented Programming Languages, Springer-Verlag, London, 2000
	15	James Donahue , Alan Demers, Data types are values, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.426-445, July 1985 [doi>10.1145/3916.3987]
	16	Kokichi Futatsugi , Joseph A. Goguen , Jean-Pierre Jouannaud , José Meseguer, Principles of OBJ2, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.52-66, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318610]
	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	Barbara Liskov , John Guttag, Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986
	21	D. B. MacQueen , Ravi Sethi, A semantic model of types for applicative languages, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.243-252, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802156]
	22	Nancy Jean Mccracken, An investigation of a programming language with a polymorphic type structure., 1979
	23	Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	24	Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	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	Lynn Andrea Stein , Henry Lieberman , David Ungar, A shared view of sharing: the treaty of Orlando, Object-oriented concepts, databases, and applications, ACM Press, New York, NY, 1989 [doi>10.1145/63320.66470]
	29	Bjarne Stroustrup, The C++ Programming Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
	30	Clemens Szyperski, Component software: beyond object-oriented programming, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998
	31	David Ungar , Randall B. Smith, SELF: the power of simplicity, Lisp and Symbolic Computation, v.4 n.3, p.187-205, July 1991 [doi>10.1007/BF01806105]
	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	Qingyu Zhuang , Sheng Yu, Algorithmic abstraction via polymorphism in object-oriented programming languages, 1996