Integration of concurrency control in a language with subtyping and subclassing

Authors:
Carlos Baquero;Rui Oliveira;Francisco Moura
Affiliations:
Departamento de Informatica, Universidade do Minho, Braga - Portugal;Departamento de Informatica, Universidade do Minho, Braga - Portugal;Departamento de Informatica, Universidade do Minho, Braga - Portugal
Venue:
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Year:
1995

Citing 21
Cited 1

A semantics of multiple inheritance.

Proc. of the international symposium on Semantics of data types
Keynote address - data abstraction and hierarchy

OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Inheritance and synchronization with enabled-sets

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Inheritance is not subtyping

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
A parallel object-oriented language with inheritance and subtyping

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Mixin-based inheritance

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Three discussions on object-oriented typing

ACM SIGPLAN OOPS Messenger
&mgr;C++: concurrency in the object-oriented language C++

Software—Practice & Experience
Concurrency annotations for reusable software

Communications of the ACM
Toward a method of object-oriented concurrent programming

Communications of the ACM
Analysis of inheritance anomaly in object-oriented concurrent programming languages

Research directions in concurrent object-oriented programming
Composing active objects

Research directions in concurrent object-oriented programming
Concurrency annotations in C++

ACM SIGPLAN Notices
Object-oriented programming in the BETA programming language

Object-oriented programming in the BETA programming language
Communicating sequential processes

Communications of the ACM
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like

ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Synchronizing Actions

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages

ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications

ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Definition of Reusable Concurrent Software Components

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming

Concurrency and distribution in object-oriented programming

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the integration of concurrency control in BALLOON, an object-oriented language that separates the concepts of type and class as well of subtyping and subclassing. Types are interface specifications enriched with concurrency control annotations. Classes are used to implement the operational functionality of types as well as concurrency control mechanisms. Types, classes and concurrency control annotations are independently reusable and derivable. The language takes advantage of this separation to solve the typical problems of the inheritance anomaly.