Qualifying Types Illustrated by Synchronisation Examples

Authors:
James Leslie Keedy;Gisela Menger;Christian Heinlein;Frans Henskens
Affiliations:
-;-;-;-
Venue:
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Year:
2002

Citing 17
Cited 0

Encapsulators: a new software paradigm in Smalltalk-80

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
The Common Lisp object system: an overview

European conference on object-oriented programming on ECOOP '87
The BETA programming language

Research directions in object-oriented programming
Mixin-based inheritance

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Eiffel: the language

Eiffel: the language
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Concurrent control with “readers” and “writers”

Communications of the ACM
Composing crosscutting concerns using composition filters

Communications of the ACM
Object-oriented composition untangled

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Support for subtyping and code re-use in Timor

CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
AspectC++: an aspect-oriented extension to the C++ programming language

CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Software Reuse in an Object Oriented Framework: Distinguishing Types from Implementations and Objects from Attributes

ICSR-6 Proceedings of the 6th International Conerence on Software Reuse: Advances in Software Reusability
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Aspects of Synchronization

TOOLS '97 Proceedings of the Technology of Object-Oriented Languages and Systems - Tools-25
Genja - A New Proposal for Parameterised Types in Java

TOOLS '97 Proceedings of the Technology of Object-Oriented Languages and Systems - Tools-25

Quantified Score

Hi-index	0.00

Visualization

Abstract

Qualifying types represent a new approach to modifying the behaviour of instances of other types in a general way, in the form of components which can be designed and implemented without a prior knowledge of the types to be modified or their implementations. This paper illustrates the idea by showing how they can be used to program various standard synchronisation problems, including mutual exclusion, reader-writer synchronisation and several variants of the bounded buffer problem.