A parallel object-oriented language with inheritance and subtyping

Authors:
Pierre America;Frank van der Linden
Affiliations:
Philips Research Laboratories, Eindhoven, the Netherlands;Philips Research Laboratories, Eindhoven, the Netherlands
Venue:
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Year:
1990

Citing 8
Cited 58

An introduction to Trellis/Owl

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Inheritance and subtyping in a parallel object-oriented language

European conference on object-oriented programming on ECOOP '87
A semantics of multiple inheritance

Information and Computation - Semantics of Data Types
Pool-T: a parallel object-oriented language

Object-oriented concurrent programming
Denotational semantics of a parallel object-oriented language

Information and Computation
Issues in the design of a parallel object-oriented language

Formal Aspects of Computing
Inheritance is not subtyping

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)

Introduction to the literature on object-oriented design, programming, and languages

ACM SIGPLAN OOPS Messenger
A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization components

SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
The process of object-oriented design

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Concurrency annotations

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented programming with mixins in Ada

ACM SIGAda Ada Letters
Teaching object-oriented programming or using the object model to teach software engineering

OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Systematic concurrent object-oriented programming

Communications of the ACM
Concurrency annotations for reusable software

Communications of the ACM
Types in school

ACM SIGPLAN Notices
Is object-oriented programming structured programming?

ACM SIGPLAN Notices
Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Typing the specialization interface

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Strongtalk: typechecking Smalltalk in a production environment

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A framework for programming and formalizing concurrent objects

SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Concurrency annotations in C++

ACM SIGPLAN Notices
Typechecking and modules for multi-methods

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)
Covariant specification

ACM SIGPLAN Notices
Better C: an object-oriented C language with automatic memory manager suitable for interactive applications

ACM SIGPLAN Notices
The Larch/Smalltalk interface specification language

ACM Transactions on Software Engineering and Methodology (TOSEM)
A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Typechecking and modules for multimethods

ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing signatures for C++

ACM Transactions on Programming Languages and Systems (TOPLAS)
ICC++—a C++ dialect for high performance parallel computing

ACM SIGAPP Applied Computing Review
Concurrency and distribution in object-oriented programming

ACM Computing Surveys (CSUR)
Scheduling control mechanisms for managing indeterminate object behavior

SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Issues in formal methods

Formal methods for distributed processing
Behavioural subtyping using invariants and constraints

Formal methods for distributed processing
Using Term Rewriting to Verify Software

IEEE Transactions on Software Engineering
Interfaces with default implementations in Java

PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Type Management: A Key to Software Reuse in Open Distributed Systems

EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Integrating Independently-Developed Components in Object-Oriented Languages

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
A New Definition of the Subtype Relation

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
PANDA - Supporting Distributed Programming in C++

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
On Variance-Based Subtyping for Parametric Types

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Macro- and Micro-parallelism in a DBMS

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
A Meta-Object Protocol for Distributed OO Applications

TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Predicting problems caused by component upgrades

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Concurrency issues in C++

CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Adding wildcards to the Java programming language

Proceedings of the 2004 ACM symposium on Applied computing
JiST: an efficient approach to simulation using virtual machines: Research Articles

Software—Practice & Experience
Traits: A mechanism for fine-grained reuse

ACM Transactions on Programming Languages and Systems (TOPLAS)
Variant parametric types: A flexible subtyping scheme for generics

ACM Transactions on Programming Languages and Systems (TOPLAS)
Creol: a type-safe object-oriented model for distributed concurrent systems

Theoretical Computer Science - Components and objects
Implementing signatures for C++

CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
Integration of concurrency control in a language with subtyping and subclassing

COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Incremental Reasoning for Multiple Inheritance

IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
The Green language type system

Computer Languages, Systems and Structures
The Green language

Computer Languages, Systems and Structures
An Overview of MANETs Simulation

Electronic Notes in Theoretical Computer Science (ENTCS)
Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses
Incremental reasoning with lazy behavioral subtyping for multiple inheritance

Science of Computer Programming
Taming the wildcards: combining definition- and use-site variance

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Variance and generalized constraints for C# generics

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
A denotational approach for type-checking in object-oriented programming languages

Computer Languages
Java wildcards meet definition-site variance

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.03

Visualization

Abstract

This paper shows that inheritance and subtyping can be introduced advantageously into a parallel object-oriented language, POOL-I. These concepts are clearly distinguished, because they deal with different aspects of programming. In this way several problems traditionally adhering to inheritance can be solved. The language POOL-I is a parallel object-oriented language with a strong typing scheme which includes genericity and dynamic binding. A novel and particularly powerful mechanism offers the possibility to manipulate and analyse types dynamically.