See this document in CiteSeerX!

Subtyping and Inheritance in Object-Oriented Programming (2000)  (Make Corrections)  
Stoyan Kurtev



  Home/Search   Context   Related

 
View or download:
complang.tuwien.ac.at/...kurtev00.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  complang.tuwien.ac.at/papers/.... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Subtyping and inheritance belong to the major concepts in contemporary object-oriented programming languages, their presence having decisively inuenced the success of the objectoriented paradigm. Inheritance constitutes a technique for reusing code from previous endeavours, while subtyping establishes semantic relationships between object behaviors. Although these, in principle, independent and autonomous notions are rooted in di erent domains of programming, their distinction is poorly... (Update)

Active bibliography (related documents):   More   All
1.0:   Class Inheritance: The Mechanism and Its Uses - Ewing (1994)   (Correct)
0.7:   Modelling Object Oriented Non-Sequential Systems by Coloured Petri.. - He   (Correct)
0.5:   Developments in Object-Oriented Type Systems - Schwartzbach (1994)   (Correct)

Similar documents based on text:   More   All
0.6:   Real Time Robot Navigation with a Smart Transducer Network - Schneider (2001)   (Correct)
0.5:   Long-Term Preservation of Digital Material - Aschenbrenner (2001)   (Correct)
0.5:   A C++ Servlet Environment - Schmit (2003)   (Correct)

BibTeX entry:   (Update)

@mastersthesis{ kurtev00subtyping,
    author = "Stoyan Kurtev",
    title = "Subtyping and Inheritance in Object-Oriented Programming",
    address = "Vienna, Austria",
    year = "2000",
    url = "citeseer.ist.psu.edu/kurtev00subtyping.html" }
Citations (may not include all citations):
1274   Object-Oriented Software Construction (context) - Meyer - 1997
554   Design Patterns - Elements of Reusable Object-Oriented Softw.. (context) - Gamma, Helm et al. - 1995
461   Programming Language (context) - Stroustrup - 1997
369   A Semantics of Multiple Inheritance - Cardelli - 1988
306   Self: The Power of Simplicity (context) - Ungar, Smith - 1987
257   Smalltalk-80: the Language and its Implementation (context) - Goldberg, Robson - 1983
240   Mixin-based Inheritance - Bracha, Cook - 1990
175   Inheritance Is Not Subtyping (context) - Cook, Hill et al. - 1990
167   Dimensions of Object-Based Language Design (context) - Wegner - 1987
148   Object Structure in the Emerald System (context) - Black, Hutchinson et al. - 1986
145   ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
129   ACM Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
128   On Understanding Types (context) - Cardelli, Wegner - 1985
124   Object-Oriented Multi-Methods in Cecil - Chambers - 1992
107   A Denotational Semantics of Inheritance and its Correctness - Cook, Palsberg - 1989
102   Abstraction Mechanisms in CLU (context) - Liskov, Snyder et al. - 1977
94   Object-Oriented Programming with Flavors (context) - Moon - 1986
89   A Parallel Object-Oriented Language with Inheritance and Sub.. (context) - America, van der Linden - 1990
88   A Calculus for Overloaded Functions with Subtyping - Castagna, Ghelli et al. - 1995
88   Theory and Practice of Object Systems (context) - Bruce, Cardelli et al. - 1996
88   Inheritance and Subtyping in a Parallel Object-Oriented Lang.. (context) - America - 1987
84   Predicate Classes - Chambers - 1993
84   Adding Type Parameterization to the Java Language - Agesen, Freund et al. - 1997
83   Object-Oriented Programming in Common Lisp: A Programmer's G.. (context) - Keene - 1989
82   Typeful Programming - Cardelli - 1991
74   Encapsulation and Inheritance in Object-Oriented Programming.. - Snyder - 1986
72   Designing an Object-Oriented Programming Language with Behav.. (context) - America - 1991
72   Using Prototypical Objects to Implement Shared Behavior in O.. (context) - Lieberman - 1986
70   CommonLoops: Merging Lisp and Object-Oriented Programming (context) - Bobrow, Kahn et al. - 1986
63   Reasoning about Object-Oriented Programs that Use Subtypes (context) - Leavens, Weihl - 1990
63   Static Type Checking of MultiMethods - Agrawal, DeMichiel et al. - 1991
61   the Notion of Inheritance (context) - Taivalsaari - 1996
61   Where Clauses: Constraining Parametric Polymorphism (context) - Day, Gruber et al. - 1995
60   ACM Transactions on Programming Languages and Systems (context) - Donahue, Demers et al. - 1985
59   Programming with Abstract Data Types (context) - Liskov, Zilles - 1974
56   Java is Type Safe | Probably - Drossopoulou, Eisenbach - 1997
52   A Simple Technique for Handling Multiple Polymorphism (context) - Ingalls - 1986
51   Interfaces for StronglyTyped Object-Oriented Programming (context) - Canning, Cook et al. - 1989
49   Type Theories and Object-Oriented Programming (context) - Danforth, Tomlinson - 1988
44   Genericity Versus Inheritance (context) - Meyer - 1988
42   Multi-Methods in a StaticallyTyped Programming Language (context) - Mugridge, Hamer et al. - 1991
42   An Ad-Hoc Approach to the Implementation of Polymorphism - Morrison, Dearle et al. - 1991
42   A Statically Safe Alternative to Virtual Types - Bruce, Odersky et al. - 1998
42   Typechecking and Modules for Multi-Methods - Chambers, Leavens - 1994
41   Typing the Specialization Interface (context) - Lamping - 1993
40   Object-Oriented Programming Versus Abstract Data Types (context) - Cook - 1991
40   A Static Type System for Message Passing (context) - Ghelli - 1991
37   Inheritance of Synchronization Constraints in Concurrent Obj.. - Fr - 1992
36   Genericity in Java with Virtual Types - Thorup - 1997
32   Strongly Typed Language for Distributed Applications (context) - Krakowiak, Meysembourg et al. - 1990
27   An Algol-based Simulation Language (context) - Dahl, Nygaard - 1966
26   Parasitic Methods: An Implementation of Multi-Methods for Ja.. - Boyland, Castagna - 1997
24   Multiple Inheritance in Smalltalk (context) - Borning, Ingalls - 1982
24   Inheritance in Object Oriented Z (context) - Cusack - 1991
23   Integrating Independently-Developed Components in Object-Ori.. - olzle - 1993
23   The Point of View Notion for Multiple Inheritance (context) - Carr, Jean-Marc - 1990
22   Introduction to TrelliOwl (context) - Scha, Cooper et al. - 1986
22   Type-Safe Compilation of Covariant Specialization: A Practic.. (context) - Boyland, Castagna - 1996
21   The Java TM Language Speci cation (context) - Gosling, Joy et al. - 1996
20   Journal of ObjectOriented Programming (context) - LaLonde, Pugh et al. - 1991
19   Issues with Exception Handling in ObjectOriented Systems - Miller, Tripathi - 1997
19   Using Types and Inheritance in Object-Oriented Languages (context) - Halbert, O'Brien - 1987
18   What is \Object-Oriented Programming - Stroustrup - 1987
16   Data Abstraction and Hierarchy (context) - Liskov - 1988
14   Three Discussions in Object-Oriented Typing - Palsberg, Schwartzbach - 1992
13   An Algebraic Model of Subtypes in Object-Oriented Languages (context) - Bruce, Wegner - 1986
11   Extending Ordinary Inheritance Schemes to Include Generaliza.. (context) - Pedersen - 1989
11   Should Superclasses be Abstract (context) - ursch - 1994
11   Modeling Subobject-Based Inheritance - Rossie, Friedman et al. - 1996
9   Covariance and Contravariance: Con ict without a Cause (context) - Castagna - 1995
9   Inheritance Modeled with Explicit Bindings: An Approach to T.. - Hauck - 1993
8   Structural Subtyping and the Notion of PowerType (context) - Cardelli - 1988
8   What is Type-Safe Code Reuse - Palsberg, Schwartzbach - 1991
8   Contravariance for the rest of us (context) - Harris - 1991
7   Strong Typing of ObjectOriented Languages Revisited - Madsen, Magnusson et al. - 1990
7   ACM SIGPLAN Notices (context) - Liu, Object-Orientedness - 1991
6   Polymorphism and Subtyping in Interfaces - Katiyar, Luckham et al. - 1994
6   Enhancement for Multiple-Inheritance (context) - Hendler - 1986
6   Journal of Object-Oriented Programming (context) - Johnson, Zweig - 1991
6   Single Versus Multiple Inheritance in Object-Oriented Progra.. (context) - Singh - 1995
6   Separating the Subtype Hierarchy from the Inheritance of Imp.. (context) - Porter - 1992
6   ACM Transactions on Programming Languages and Systems (context) - Baumgartner, Russo et al. - 1997
5   Inheritance as an Incremental Modi cation Mechanism or What .. (context) - Wegner, Zdonik - 1988
5   Objects that Change their Types (context) - Davis - 1992
5   Examples of Misuse of Inheritance (context) - Rumbaugh - 1993
5   Declarative Object-Oriented Programming: Inheritance (context) - Alagi, Sunderraman et al. - 1994
4   Interfaces and Speci cations for the Smalltalk-80 Collection.. (context) - Cook - 1992
4   Foundations of Object-Oriented Languages: nd Workshop Report - Castagna, Leavens - 1995
4   Inheritance and Enhancement (context) - Horn, Genericity - 1987
3   ACTS: A Type System for Object-Oriented Programming Based on.. (context) - Dodani, Tsai - 1992
3   Ecient Multiple and Predicate Dispatching (context) - Chambers, Chen - 1999
3   A New De nition of the Subtype Relation (context) - Liskov, Wing - 1993
2   Object-Oriented Programming in Smalltalk and Ada (context) - Seidewitz - 1987
2   Journal of Object-Oriented Programming (context) - Budd, in - 1991
2   Lessons from the Design of the Ei el Libraries (context) - Meyer - 1990
2   A Comparison of ObjectOriented Programming Languages (context) - unther, Gustav et al. - 1989
2   Classifying Inheritance Mechanisms in Concurrent Object-Orie.. - Crnogorac, Rao et al. - 1998
2   Type Checking Object-Oriented Programs: Core of the Problem .. (context) - Royer - 1998
2   The Notion of Inheritance in ObjectOriented Programming (context) - Baclawski, Indurkhya - 1994
1   Writing Larch Interface Language Speci cations (context) - Wing - 1987
1   Types and Classes: a Language-Independent View (context) - D'Souza - 1997
1   A Comparison of ObjectOriented Programming Languages: The En.. (context) - Srinivasan, Jayaraman - 1994
1   Foundations of Object-Oriented Languages: Workshop Report - Black, Palsberg - 1994
1   A New Partial Inheritance Mechanism and its Applications (context) - Lee, Tsai - 1993
1   A Comparison of Ada and Java as a Foundation Teaching Langua.. - Brosgol - 1998
1   Object-Oriented Programming in Ei el (context) - Thomas, Weedon - 1995
1   OOPSLA'87 Panel P2: Varieties of Inheritance (context) - Cook - 1988
1   Approaches to Reusability in C++ and Ei el (context) - Al-Haddad, George et al. - 1991
1   Covariant Speci cation (context) - Shang - 1994
1   Is Multiple Inheritance Essential to OOP (context) - Shan, Cargill et al. - 1993
1   Volume I: Object-Oriented Programming Languages (context) - Salus, Programming - 1998
1   Prentice Hall (context) - Eckel - 1995
1   Lecture Notes (context) - Puntigam - 1999
1   An Object-Oriented Programming Language (context) - Kurtev - 1999
1   Trellis: What We Have Learned from a Strongly Typed Language (context) - Kilian - 1992
1   Pursuing Safe Polymorphism in OOP (context) - Chen, Lee - 1995
1   A Re ective Model of Inheritance (context) - Jagannathan, Agha - 1992
1   Extended Type Checking in Ei el (context) - Jones - 1992
1   Reference Manual Ada Programming Language AnsiMil Std A (context) - National, Reference et al. - 1983
1   Journal of Object-Oriented Programming (context) - Blair, Gallagher et al. - 1989
1   Considered Harmful (context) - urgen, Objectivism - 1992
1   Workshop on Object-Oriented Programming (context) - Wegner - 1988
1   Ensuring Strong Typing in an Object-Oriented Language (context) - Meyer - 1992
1   A Note on Covariance and Contravariance Uni- cation (context) - Barrett, Giguere - 1996
1   and Java vs (context) - Wheeler - 1997

Documents on the same site (http://www.complang.tuwien.ac.at/papers/../Diplomarbeiten/):
Implementation of the Coordination Language C&Co - Forst (1995)   (Correct)
dtfs: A Log-Structured Filesystem For Linux - Czezatke (1998)   (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