Genericity versus inheritance

Authors:
Bertrand Meyer
Affiliations:
Univ. of California at Santa Barbara and Interactive Software Engineering, Inc.
Venue:
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Year:
1986

Citing 4
Cited 45

CLU reference manual

CLU reference manual
Practical polymorphism

Proc. of a conference on Functional programming languages and computer architecture
On understanding types, data abstraction, and polymorphism

ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Principles of OBJ2

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Eiffel: programming for reusability and extendibility

ACM SIGPLAN Notices
How objective mechanisms facilitate the development of large software systems in three programming languages

ACM SIGPLAN Notices
Object-oriented programming in Smalltalk and ADA

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Combining language and database advances in an object-oriented development environment

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Relations as semantic constructs in an object-oriented language

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An alternate design for Fortran 8X

ACM SIGPLAN Fortran Forum
Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
An object-oriented modelling enviornment

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Virtual classes: a powerful mechanism in object-oriented programming

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Type substitution for object-oriented programming

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Structured analysis—formal design, using stream and object oriented formal specifications

Conference proceedings on Formal methods in software development
Making pure object-oriented languages practical

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented programming in Ada83—genericity rehabilitated

ACM SIGAda Ada Letters
Introduction to the literature on object-oriented design, programming, and languages

ACM SIGPLAN OOPS Messenger
Object CHILL—an object oriented language for systems implementation

CSC '92 Proceedings of the 1992 ACM annual conference on Communications
A CPU scheduling simulation from structured programming to object-oriented design

SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
The design of the E programming language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Genericity versus inheritance reconsidered: self-reference using generics

OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
An algebraic theory of class specification

ACM Transactions on Software Engineering and Methodology (TOSEM)
Subtypes vs. where clauses: constraining parametric polymorphism

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Semantic analysis of virtual classes and nested classes

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Using object modeling to transform structured analysis into object oriented design

WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Parametric polymorphism in Java: an approach to translation based on reflective features

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Adding parametric polymorphism to the common object request broker architecture (CORBA) (poster session)

OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Technical correspondence

Communications of the ACM
The Recursive Record Semantics of Objects Revisited

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Conformance, Genericity, Inheritance and Enhancement

ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Classification of Actions, or Inheritance also for Methods

ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages

ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
GSBL: An Algebraic Specification Language Based on Inheritance

ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A theory of mixin modules: basic and derived operators

Mathematical Structures in Computer Science
Adding wildcards to the Java programming language

Proceedings of the 2004 ACM symposium on Applied computing
The recursive record semantics of objects revisited

Journal of Functional Programming
A retrospective on: "customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language"

ACM SIGPLAN Notices - Best of PLDI 1979-1999
Understanding access restriction of variant parametric types and Java wildcards

Proceedings of the 2005 ACM symposium on Applied computing
Variant parametric types: A flexible subtyping scheme for generics

ACM Transactions on Programming Languages and Systems (TOPLAS)
Evaluation of a Java Computer Algebra System

Computer Mathematics
Self type constructors

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Typechecking UML static models

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs
Templatable metamodels for semantic variation points

ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
From ECOOP'87 to ECOOP 2006 and beyond

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
What programmers do with inheritance in java

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.02

Visualization

Abstract

Genericity, as in Ada or ML, and inheritance, as in object-oriented languages, are two alternative techniques for ensuring better extendibility, reusability and compatibility of software components. This article is a comparative analysis of these two methods. It studies their similarities and differences and assesses to what extent each may be simulated in a language offering only the other. It shows what features are needed to successfully combine the two approaches in a statically typed language and presents the main features of the programming language Eiffel, whose design, resulting in part from this study, includes multiple inheritance and limited form of genericity under full static typing.