Sheng Yu, Lifu Guo, Peter Scheyen  Home/Search
Context
Related
| csd.uwo.ca/~syu/public/01kind.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csd.uwo.ca/~syu/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The concepts of the basic entities, i.e., objects, object classes, object types, etc., in the type hierarchy of object-oriented languages are revisited. The notion of object reuse is defined and elaborated. We show that while object classes are useful in object description and creation, the class-is-type principle which is used in many object-oriented languages is inadequate for object reuse. We also show that parameterized types and generic functions are better served by using kind-bounded ... (Update)
Active bibliography (related documents): More All
2.7: Algorithmic Abstraction in Object-Oriented Languages - Yu, Zhuang (1994) (Correct)
0.8: Practical Rules for Reduction on the Number of States of a State.. - Ma, Yu (Correct)
0.6: New Constructs for Implementing Generic Functions and.. - Scheyen (1993) (Correct)
Similar documents based on text: More All
0.3: VR Object Reuse through Component Combination VR Object Reuse.. - Seo, Kim, Kim (Correct)
0.2: State Complexity: Recent Results and Open Problems - Yu (2004) (Correct)
0.1: Unknown - Status Of This (Correct)
BibTeX entry: (Update)
@article{ yu01classistype,
author = "Sheng Yu",
title = "Class-is-type is inadequate for object reuse",
journal = "SIGPLAN Notices",
volume = "36",
number = "6",
pages = "50-59",
year = "2001",
url = "citeseer.ist.psu.edu/447332.html" }
Citations (may not include all citations):737 The Java Programming Language (context) - Arnold, Gostling - 1996
537 Component Software --- Beyond Object-Oriented Programming (context) - Szyperski - 1997
306 Self: The Power of Simplicity (context) - Ungar, Smith - 1991
160 Abstraction and Specification in Program Development (context) - Liskov, Guttag - 1986
134 A Theory of Objects (context) - Abadi, Cardelli - 1996
132 Interpretation Fonctionelle et 'elimination des coupures de .. (context) - Girard - 1972
127 Systems Programming with Modula (context) - Nelson - 1991
82 Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
80 Programming in Ada (context) - Barnes - 1989
74 The Algebraic Specification of Abstract Data Types (context) - Guttag, Horning - 1978
60 ACM Transactions on Programming Languages and Systems (context) - Donahue, Demers et al. - 1985
37 Algebraic Specification Techniques in Object Oriented Progra.. (context) - Breu - 1991
30 A shared view of sharing: The treaty of Orlando - Stein, Lieberman et al. - 1988
30 An Investigation of a Programming Language with a Polymorphi.. (context) - McCracken - 1979
28 The Semantics of Second-order Lambda Calculus (context) - Bruce, Meyer et al. - 1990
15 The Cecil Language Specification and Rationale - Chambers - 1993
10 A Semantic Model of Types For applicative Languages (context) - MacQueen, Sethi - 1982
8 Extension for Types Abstraction and Subtype Polymorphism (context) - Baumgartner, Russo - 1993
5 The Interpretation of Object-Oriented Programming Languages (context) - Craig - 2000
4 Department of computer Science (context) - Scheyen, Yu et al. - 1993
4 Department of computer Science (context) - Scheyen, Constructs et al. - 1994
4 A Modest Model of Records, Inheritance, and Bounded Quantifi.. (context) - Bruce, Longo - 1990
4 Type-Safe OOP with Prototypes: The Concept of Omega (context) - Blaschek - 1991
4 Programming Language --- Special Edition (context) - Stroustrup - 2000
3 mappingRevision Team (context) - Revision, Rationale et al. - 1994
3 Theta Reference Manual -- Preliminary Version (context) - Liskov, Curtis et al. - 1995
3 Software Reuse via Algorithm Abstraction (context) - Yu, Zhuang - 1995
2 Algorithmic Abstraction in Object-Oriented Languages - Yu, Zhuang - 1995
2 Algorithm Abstraction via Polymorphism In Object-Oriented La.. (context) - Zhuang - 1995
2 On Parametric Polymorphism in Object-Oriented Languages (context) - Yu, Zhuang - 1993
2 Formal Description of Programming Concepts --- IFIP State-of.. (context) - Cardelli, Programming - 1991
1 off, and J. Mitchell, "F-Bounded Polymorphism for Object-Ori.. (context) - Cook, Hill et al. - 1989
1 Eiffle: The Language (context) - Meyer - 1992
1 Prototype-Based Programming (context) - Noble, Taivalsaari et al. - 1999
Documents on the same site (http://www.csd.uwo.ca/~syu/): More
Algorithmic Abstraction in Object-Oriented Languages - Yu, Zhuang (1994) (Correct)
Minimal Cover-Automata for Finite Languages - Campeanu, Santean, Yu (1999) (Correct)
Decision Problems For Patterns - Jiang (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC