Higher-order intersection types and multiple inheritance

1996 ◽  
Vol 6 (5) ◽  
pp. 469-501 ◽  
Author(s):  
Adriana B. Compagnoni ◽  
Benjamin C. Pierce
Keyword(s):  
Structural Properties ◽  
Object Oriented ◽  
Natural Generalization ◽  
Higher Order ◽  
Object Oriented Programming ◽  
Equivalence Relations ◽  
Semantic Model ◽  
Multiple Inheritance ◽  
Intersection Types ◽  
Partial Equivalence Relations

We study a natural generalization of SystemFωwith intersection types, establishing basic structural properties and constructing a semantic model based on partial equivalence relations to prove the soundness of typing. As an application of this calculus, we define a simple typed model of object-oriented programming with multiple inheritance.

scholarly journals FHJ: A formal model for hierarchical dispatching and overriding

2020 ◽  
Author(s):  
Y Wang ◽  
H Zhang ◽  
BCDS Oliveira ◽  
Marco Servetto
Keyword(s):  
Common Ancestor ◽  
Formal Model ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Extensive Literature ◽  
Multiple Inheritance ◽  
New Model ◽  
Dynamic Type ◽  
Inheritance Hierarchy ◽  
Type Information

© Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, and Marco Servetto. Multiple inheritance is a valuable feature for Object-Oriented Programming. However, it is also tricky to get right, as illustrated by the extensive literature on the topic. A key issue is the ambiguity arising from inheriting multiple parents, which can have conflicting methods. Numerous existing work provides solutions for conflicts which arise from diamond inheritance: i.e. conflicts that arise from implementations sharing a common ancestor. However, most mechanisms are inadequate to deal with unintentional method conflicts: conflicts which arise from two unrelated methods that happen to share the same name and signature. This paper presents a new model called Featherweight Hierarchical Java (FHJ) that deals with unintentional method conflicts. In our new model, which is partly inspired by C++, conflicting methods arising from unrelated methods can coexist in the same class, and hierarchical dispatching supports unambiguous lookups in the presence of such conflicting methods. To avoid ambiguity, hierarchical information is employed in method dispatching, which uses a combination of static and dynamic type information to choose the implementation of a method at run-time. Furthermore, unlike all existing inheritance models, our model supports hierarchical method overriding: that is, methods can be independently overridden along the multiple inheritance hierarchy. We give illustrative examples of our language and features and formalize FHJ as a minimal Featherweight-Java style calculus.

scholarly journals Emulating Multiple Inheritance in Fortran 2003/2008

2015 ◽  
Vol 2015 ◽  
pp. 1-7
Author(s):  
Karla Morris
Keyword(s):  
Design Pattern ◽  
High Performance ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Multiple Inheritance ◽  
C Programming ◽  
Class Hierarchies ◽  
Fortran 90 ◽  
Performance Computing ◽  
Intrinsic Feature

Although the high-performance computing (HPC) community increasingly embraces object-oriented programming (OOP), most HPC OOP projects employ the C++ programming language. Until recently, Fortran programmers interested in mining the benefits of OOP had to emulate OOP in Fortran 90/95. The advent of widespread compiler support for Fortran 2003 now facilitates explicitly constructing object-oriented class hierarchies via inheritance and leveraging related class behaviors such as dynamic polymorphism. Although C++ allows a class to inherit from multiple parent classes, Fortran and several other OOP languages restrict or prohibit explicit multiple inheritance relationships in order to circumvent several pitfalls associated with them. Nonetheless, what appears as an intrinsic feature in one language can be modeled as a user-constructed design pattern in another language. The present paper demonstrates how to apply the facade structural design pattern to support a multiple inheritance class relationship in Fortran 2003. The design unleashes the power of the associated class relationships for modeling complicated data structures yet avoids the ambiguities that plague some multiple inheritance scenarios.

scholarly journals FHJ: A formal model for hierarchical dispatching and overriding

2020 ◽  
Author(s):  
Y Wang ◽  
H Zhang ◽  
BCDS Oliveira ◽  
Marco Servetto
Keyword(s):  
Common Ancestor ◽  
Formal Model ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Extensive Literature ◽  
Multiple Inheritance ◽  
New Model ◽  
Dynamic Type ◽  
Inheritance Hierarchy ◽  
Type Information

© Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, and Marco Servetto. Multiple inheritance is a valuable feature for Object-Oriented Programming. However, it is also tricky to get right, as illustrated by the extensive literature on the topic. A key issue is the ambiguity arising from inheriting multiple parents, which can have conflicting methods. Numerous existing work provides solutions for conflicts which arise from diamond inheritance: i.e. conflicts that arise from implementations sharing a common ancestor. However, most mechanisms are inadequate to deal with unintentional method conflicts: conflicts which arise from two unrelated methods that happen to share the same name and signature. This paper presents a new model called Featherweight Hierarchical Java (FHJ) that deals with unintentional method conflicts. In our new model, which is partly inspired by C++, conflicting methods arising from unrelated methods can coexist in the same class, and hierarchical dispatching supports unambiguous lookups in the presence of such conflicting methods. To avoid ambiguity, hierarchical information is employed in method dispatching, which uses a combination of static and dynamic type information to choose the implementation of a method at run-time. Furthermore, unlike all existing inheritance models, our model supports hierarchical method overriding: that is, methods can be independently overridden along the multiple inheritance hierarchy. We give illustrative examples of our language and features and formalize FHJ as a minimal Featherweight-Java style calculus.

Inheritance in Programming Languages

2011 ◽  
pp. 2042-2047
Author(s):  
Krishnaprasad Thirunarayan
Keyword(s):  
Programming Languages ◽  
Common Sense ◽  
Effective Means ◽  
Type System ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Multiple Inheritance ◽  
Contrast Method ◽  
Compare And Contrast ◽  
Object Oriented Databases

Inheritance is a powerful concept employed in computer science, especially in artificial intelligence (AI), object-oriented programming (OOP), and object-oriented databases (OODB). In the field of AI, inheritance has been primarily used as a concise and effective means of representing and reasoning with common-sense knowledge (Thirunarayan, 1995). In programming languages and databases, inheritance has been used for the purpose of sharing data and methods, and for enabling modularity of software (re)use and maintenance (Lakshmanan & Thirunarayan, 1998). In this chapter, we present various design choices for incorporating inheritance into programming languages from an application programmer’s perspective. In contrast with the language of mathematics, which is mature and well-understood, the embodiment of object-oriented concepts and constructs in a concrete programming language is neither fixed nor universally accepted. We exhibit programs with similar syntax in different languages that have very different semantics, and different looking programs that are equivalent. We compare and contrast method inheritance, interaction of type system with method binding, constructs for method redefinition, and their implementation in widely used languages such as C++ (Stroustrup, 1997), Java (Arnold, Gosling, & Holmes, 2005), and C# (Hejlsberg, Wiltamuth, & Golde, 2006), to illustrate subtle issues of interest to programmers. Finally, we discuss multiple inheritance briefly.

scholarly journals Multiple Inheritance, a Structuring Mechanism for Data, Processes and Procedures

1986 ◽  
Vol 15 (209) ◽  
Author(s):  
Kristine Stougård Thomsen
Keyword(s):  
Programming Language ◽  
Data Structures ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
General Mechanism ◽  
Multiple Inheritance ◽  
Abstract Data ◽  
Oriented Programming Language

A motivation is given for the use of multiple inheritance as a general mechanism for data, processes and procedures, and an object oriented programming language that incorporates such an inheritance mechanism is outlined. Objects in this language combine the notions of abstract data structures and processes. Classes and procedures are organized in multiple inheritance hierarchies. The main contribution of this paper is the introduction of a coroutine-like strategy for combining multiple action parts of objects. Coincidence of named properties from different classes are treated by combining all versions of the property. The inheritance mechanism on procedures offers an elegant way of combining a number of inherited operations with the same name.

Sign in / Sign up

Export Citation Format

Share Document